search

kayabaNerve / full-chain-membership-proofs

18 stars 1 forks source link

Non-zero gadgets aren't formally verified/audited #39

Open kayabaNerve opened 1 year ago