Judica Research

Purify

Purify turns a secret key pair and a message into a deterministic nonce point, while keeping the proving relation compact enough to map into arithmetic circuits.

Purify and its arithmetic circuit encoding, originate in MuSig-DN. This repository focuses on a practical C/C++ implementation designed to support both the Bulletproofs and Bulletproofs++ backends.

Read the paper Browse API docs View the repository
private public z1 secret z2 secret m message [z1]G1 pubkey [z2]G2 pubkey m message ZK proof Purify derive r r R Prover Verify learn R