Company Pitches
summary
A proof-of-concept enforces RFC6979 deterministic nonces for a Schnorr-style multisig by requiring a zero-knowledge proof that each ephemeral nonce is derived deterministically, implemented with Bulletproofs on curve and a hash circuit pulled from jsnark. The end result is a roughly 65 kilobyte circuit blob that works functionally but raises a trust problem: the circuit is produced via non-deterministic optimizer steps with no easy way to verify functional equivalence or produce stepwise witnesses.
AI-written summary · about
related talks
26mFragile Nonce Selection and ZKPs as a Solution
44mZero-Knowledge Proofs: Simultaneously ensuring integrity and privacy
34mSNARKs and their Practical Applications
35mDon't Trust, Attest: Enclaves as a Trust-Minimization Tool for Bitcoin Apps
26mzk-SHARKs: Combining Succinct Verification and Public Coin Setup
59mCommit-and-Prove Zero-Knowledge Proof Systems and Extensions
25mSuccinct Proofs in Ethereum
20mPrivate Bids, Public Proofs: A New Onchain Auction Design