search

kayabaNerve / full-chain-membership-proofs

18 stars 1 forks source link

Set membership gadget isn't formally proven #36

Open kayabaNerve opened 1 year ago