I compared formal verification frameworks for arithmetic circuits https://blog.zksecurity.xyz/posts/formal-verification-arithmetic-circuits/
- 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'm working with Nexus nexus.xyz .
- 0 replies
- 0 recasts
- 0 reactions