The ZKProof.org Workshop and community is creating the standards for Zero-Knowledge Proofs, Verifiable Computation and Blockchain Privacy Cryptography.
Hi Pratyush! Been following the ZEXE Library, can you please provide some guidance on how to implement a Proof of Membership with Merkle Trees for a Voting App?
Just for the record: there is no requirement for f to be injective. Indeed, we routinely use non-injective homomorphisms, such as (u,v) → g^u · h^v on Slide 16.
even if you copy the QR code on fake box, it will have to be sold at the same location, shop and over time this person, shop can get blacklisted. Of course the faking may happen some other place in the supply chain but some AI, ML will spill the truth over time....
Alessandro is like Brain Greene or Michio Kaku of ZKP and PCP. Every talk of his elucidates me with an unusual level of clarity that you won't see from an average academic talk. Especially his diagrams are extremely helpful for visual persons. He can zoom out covering historical notes and evolution of a certain lines of work and naturally and easily zoom in, diving into important nitty-gritty details. Watching his talk save me tons of time on endless literature review and enhance my understanding of those papers by offering me a mental map of the space. Thanks for posting the talk!
00:04 Tiramisu: Black-Box Simulation Extractable NIZKs in the Updatable CRS Model 9:21 Implementation of private transactions over Sonic protocol 19:57 a new elliptic curve for recursive SNARKs 30:23 Clean Social Media Technology using ZKP, SMPC and Game Theory 40:30 Mutual Accountability Layer 49:53 Efficiency improvements: Multiparty Threshold ECDSA with zkSNARKs 1:01:11 Starling Studio: an all-in-one zinc visual IDE for developers without ZKP knowledge 1:05:38 zkp-benchmarker: Reproducible benchmarks for end-to-end zk-SNARK implementations 1:11:52 Itugen - Transparent and anonymous voting on blockchain