pirapira pfp
pirapira

@pirapira

I compared formal verification frameworks for arithmetic circuits https://blog.zksecurity.xyz/posts/formal-verification-arithmetic-circuits/
0 reply
0 recast
0 reaction