Alexandria Library

A curated collection of awesome articles

Here are some ressources related to Zkp, Cryptography, Proof. Hoping you will find learning material, alternative tools or just some interesting stuff.

Home > Programming, Machine Learning, Quan... > Mathematics, Algorithms, Cryptograp... > Cryptography, Encryption, Blockchai... > Zkp, Cryptography, Proof

Articles

Accelerating zk-SNARKs - MSM and NTT algorithms on FPGAs with Hardcaml

See discussion (18 comments, 104 points) - Archive

The essence of Reed-Solomon coding

See discussion (41 comments, 168 points) - Archive

The paper that keeps showing up

See discussion (44 comments, 171 points) - Archive

How to prove you know a secret without giving it away

See discussion (160 comments, 334 points) - Archive

How to Share a Secret [pdf] (1979)

See discussion (35 comments, 140 points) - Archive

Zero-Knowledge Middleboxes: enforce network policies on encrypted traffic

See discussion (20 comments, 82 points) - Archive

Kimchi: The latest update to Mina’s proof system

See discussion (31 comments, 81 points) - Archive

Understanding Zero-knowledge proofs through illustrated examples

See discussion (82 comments, 314 points) - Archive

Zero-Knowledge Proofs

See discussion (66 comments, 241 points) - Archive

Software Verification and Analysis Using Z3

See discussion (40 comments, 143 points) - Archive

That XOR Trick (2020)

See discussion (231 comments, 428 points) - Archive

Why and How zk-Snark Works (2019)

See discussion (52 comments, 140 points) - Archive

Zero Knowledge Proofs applied to Auctions (2019) [pdf]

See discussion (15 comments, 122 points) - Archive

Understanding zero-knowledge proofs through illustrated examples

See discussion (3 comments, 104 points) - Archive

Shamir’s Secret Sharing Scheme

See discussion (42 comments, 213 points) - Archive

Shamir's Secret Sharing

See discussion (45 comments, 177 points) - Archive

Zero-Knowledge Proofs

See discussion (21 comments, 142 points) - Archive

Bulletproofs – Short zero-knowledge arguments of knowledge

See discussion (60 comments, 185 points) - Archive

Galois Field in Cryptography (2012) [pdf]

See discussion (11 comments, 84 points) - Archive

Confidential Transactions from Basic Principles

See discussion (12 comments, 144 points) - Archive

Oded Wins the Knuth Prize

See discussion (29 comments, 129 points) - Archive

The Three Ways of XOR

See discussion (66 comments, 143 points) - Archive

Zero Knowledge Proofs: An illustrated primer (2014)

See discussion (44 comments, 138 points) - Archive

Zero-Knowledge Contingent Payment

See discussion (63 comments, 163 points) - Archive

Zero Knowledge Proofs: An illustrated primer

See discussion (30 comments, 185 points) - Archive

Binius: Highly efficient proofs over binary fields

See discussion (20 comments, 86 points) - Archive

Erasure Coding for Distributed Systems

See discussion (57 comments, 284 points) - Archive

Programming Zero Knowledge Proofs: From Zero to Hero

See discussion (163 comments, 281 points) - Archive