search

plume-sig / zk-nullifier-sig

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

Axiom V2 Halo2 implementation #83

Open Divide-By-0 opened 8 months ago

Divide-By-0 commented 8 months ago

This is a halo2 proof of PLUME signatures. This will be critical for fast client-side proving, and we will release benchmarks as well as simple functions in our NPM package soon. Initiative led by @shreyas-londhe.

Resources: Understanding the components required for secp256k1 hash2curve. Following this doc - https://www.ietf.org/archive/id/draft-irtf-cfrg-hash-to-curve-13.html#name-hash_to_field-implementatio

Following this for the hash-to-curve impl: https://github.com/geometryresearch/secp256k1_hash_to_curve

Axiom V2 used for dynamic passthrough verifiers.

Divide-By-0 commented 5 months ago

Note that this code includes hash to curve here: https://github.com/axiom-crypto/halo2-lib/pull/261/files