search

plume-sig / zk-nullifier-sig

Implementation of PLUME: nullifier friendly signature scheme on ECDSA
MIT License
132 stars 22 forks source link

feature request: Proof verifier in Solidity #8

Open kumavis opened 1 year ago

kumavis commented 1 year ago

perhaps non trivial :stuck_out_tongue_winking_eye:

Divide-By-0 commented 1 year ago

Once we get this pr merged, we should just be able to generate a Solidity verification circuit from the circom! The issue is that its between 200-300k gas, but hopefully with things like SnarkPack/zk rollups, that can be made lower.