search

kayabaNerve / full-chain-membership-proofs

18 stars 1 forks source link

Non-zero gadgets aren't formally proven #38

Open kayabaNerve opened 1 year ago