This allows for the construction of deterministic nullifiers. We intend to deploy it as Privately Linked Unique Message Entities (PLUME).
rust-k256
: Rust, using the k256 libraryrust-arkworks
: Rust, using arkworksjavascript
: JavaScript, using MIRACL
- 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
https://aayushg.com/thesis.pdf https://eprint.iacr.org/2022/1255
https://blog.aayushg.com/posts/nullifier
https://personae-labs.notion.site/ERC-Draft-f6d584dd2acd414cb6be834e9bdcfbda
nullifier.xyz
https://github.com/geometryresearch/secp256k1_hash_to_curve/
https://www.youtube.com/watch?v=6ajBnMdJGoY