pirapira pfp
pirapira

@pirapira

practicing deductive verification of r1cs circuits: https://github.com/nexus-xyz/acl2-experiment
0 reply
0 recast
0 reaction