mcalancea/iris-mpc
iris-mpc repository
Repositories
mcalancea/circomkit
A testing & development environment for Circom.
mcalancea/ArkLib
Formally Verified Arguments of Knowledge in Lean
mcalancea/tiny-keccak
An implementation of Keccak derived functions specified in FIPS-202, SP800-185 and KangarooTwelve