Signatures with Deterministic Nullifiers
Implementations
rust-k256
: Rust, using the k256 libraryrust-arkworks
: Rust, using arkworks
TODO
- zk verifier circuits (WIP Circom here: https://github.com/geometryresearch/secp256k1_hash_to_curve/tree/main/circuits)
- change SHA512 to Poseidon (wallets are onboard)
- improve
rust-k256
to use a similar interface asrust-arkworks
- i.e. generate/accept arbitrary keypairs andr
values, and not just hardcoded values
Resources
Paper
https://aayushg.com/thesis.pdf
Slides
Unpublished Blog Post
https://docs.google.com/document/d/1Q9nUNGaeiKoZYAiN9ndh4iE9e-_ql-Rf7MESTo7UB8s/edit