pirapira (pirapira)
proving stuff
1 Followers
Recent casts
Top casts
I'm working with Nexus nexus.xyz .
- 0 replies
- 0 recasts
- 0 reactions
practicing deductive verification of r1cs circuits: https://github.com/nexus-xyz/acl2-experiment
- 0 replies
- 0 recasts
- 0 reactions
I compared formal verification frameworks for arithmetic circuits https://blog.zksecurity.xyz/posts/formal-verification-arithmetic-circuits/
- 0 replies
- 0 recasts
- 0 reactions