Practical witness-key-agreement for blockchain-based dark pools financial trading

DOI10.1007/978-3-662-64331-0_30zbMATH Open1493.91120OpenAlexW3210851624MaRDI QIDQ2147265FDOQ2147265

Authors Chan Nam Ngo, Fabio Massacci, Florian Kerschbaum, Julian S. Williams

Publication date 22 June 2022

Full work available at URL https://doi.org/10.1007/978-3-662-64331-0_30

zbMATH Keywords

zk-SNARKblockchain-based dark pooldesignated-verifierquadratic arithmetic programwitness-key-agreement

Mathematics Subject Classification ID

Financial markets (91G15) Cryptography (94A60)

Recommendations

• Cryptographic combinatorial securities exchanges
• Financial Cryptography and Data Security
• Strictly-black-box zero-knowledge and efficient validation of financial transactions
• scientific article; zbMATH DE number 2088328
• Kicking-the-bucket: fast privacy-preserving trading using buckets

Cites work

• A subversion-resistant SNARK
• Candidate Multilinear Maps from Ideal Lattices
• Candidate indistinguishability obfuscation and functional encryption for all circuits
• Credential authenticated identification and key exchange
• Efficient UC-Secure Authenticated Key-Exchange for Algebraic Languages
• Low cost constant round MPC combining BMR and oblivious transfer
• NIZKs with an untrusted CRS: security in the face of parameter subversion
• Offline witness encryption
• On the size of pairing-based non-interactive arguments
• Practical witness encryption for algebraic languages or how to encrypt under Groth-Sahai proofs
• Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems
• Public-Key Cryptosystems Based on Composite Degree Residuosity Classes
• Quadratic span programs and succinct NIZKs without PCPs
• Separating succinct non-interactive arguments from all falsifiable assumptions
• Snarky signatures: minimal signatures of knowledge from simulation-extractable snarks
• Subversion-zero-knowledge SNARKs
• Succinct non-interactive arguments via linear interactive proofs
• The Knowledge Complexity of Interactive Proof Systems
• Witness encryption and its applications
• Witness encryption from instance independent assumptions

Cited in

(6)

• (Commit-and-prove) predictable arguments with privacy
• Certifying Findel derivatives for blockchain
• Kicking-the-bucket: fast privacy-preserving trading using buckets
• Witness-authenticated key exchange, revisited: extensions to groups, improved models, simpler constructions
• Financial Cryptography and Data Security
• Publicly verifiable and secrecy preserving periodic auctions

Describes a project that uses

Uses Software

• libsnark
• GitHub

This page was built for publication: Practical witness-key-agreement for blockchain-based dark pools financial trading

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2147265)