kayabaNerve / full-chain-membership-proofs

18 stars 1 forks source link

On-curve gadget isn't formally verified/audited #42

Open kayabaNerve opened 1 year ago

kayabaNerve commented 1 year ago

While it doesn't need auditing, due to simply evaluating the curve equation which determines it is on-curve, we do need to ensure the docstrings are correct and identity isn't representable.