user: vons

42 karma | created 3 years ago

recent submissions

2 pts|3 days ago|discuss

(no title)

11 months ago|discuss

Clean, a formal verification DSL for ZK circuits in Lean4 (blog.zksecurity.xyz)

77 pts|11 months ago|5 comments

Awesome-ZKP-Security (github.com)

2 pts|1 year ago|discuss

Tornado Cash has been removed from GitHub (github.com)

2 pts|3 years ago|2 comments

3 pts|3 years ago|1 comment