Composition with knowledge assumptions (Q2139641): Difference between revisions

@@ Property / describes a project that uses @@
+Pinocchio
@@ Property / describes a project that uses: Pinocchio / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+libsnark
@@ Property / describes a project that uses: libsnark / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Marlin
@@ Property / describes a project that uses: Marlin / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-84259-8_13
+Normal rank
@@ Property / OpenAlex ID @@
+W3191505753
@@ Property / OpenAlex ID: W3191505753 / rank @@
+Normal rank
@@ Property / cites work @@
+Another look at extraction and randomization of Groth's zk-SNARK
+Normal rank
@@ Property / cites work @@
+From extractable collision resistance to succinct non-interactive arguments of knowledge, and back again
+Normal rank
@@ Property / cites work @@
+Limits of Extractability Assumptions with Distributional Auxiliary Input
+Normal rank
@@ Property / cites work @@
+Extractable Perfectly One-Way Functions
@@ Property / cites work: Extractable Perfectly One-Way Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a Theory of Extractable Functions
@@ Property / cites work: Towards a Theory of Extractable Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783717
@@ Property / cites work: Q4783717 / rank @@
+Normal rank
@@ Property / cites work @@
+Marlin: preprocessing zkSNARKs with universal and updatable SRS
+Normal rank
@@ Property / cites work @@
+Q4035738
@@ Property / cites work: Q4035738 / rank @@
+Normal rank
@@ Property / cites work @@
+How To Prove Yourself: Practical Solutions to Identification and Signature Problems
+Normal rank
@@ Property / cites work @@
+Communication-Efficient Non-interactive Proofs of Knowledge with Online Extractors
+Normal rank
@@ Property / cites work @@
+The algebraic group model and its applications
@@ Property / cites work: The algebraic group model and its applications / rank @@
+Normal rank
@@ Property / cites work @@
+On the Size of Pairing-Based Non-interactive Arguments
+Normal rank
@@ Property / cites work @@
+Updatable and universal common reference strings with applications to zk-SNARKs
+Normal rank
@@ Property / cites work @@
+Snarky signatures: minimal signatures of knowledge from simulation-extractable snarks
+Normal rank
@@ Property / cites work @@
+Q4249347
@@ Property / cites work: Q4249347 / rank @@
+Normal rank
@@ Property / cites work @@
+Mining for privacy: how to bootstrap a snarky blockchain
+Normal rank
@@ Property / cites work @@
+Coupling of random systems
@@ Property / cites work: Coupling of random systems / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive Cryptography – A New Paradigm for Security Definitions and Proofs
+Normal rank
@@ Property / cites work @@
+Q4737239
@@ Property / cites work: Q4737239 / rank @@
+Normal rank