Try   HackMD

Benchmark results

All benchmark (excpet web benchmarks) are run on AWS r6i.8xlarge.

Poseidon

Groth16 - Circom

Desktop

Platform Prover time Verifier time
Groth16 - snarkjs 0.910267 sec 0.787781 sec

Browser (https://www.browserstack.com/)

Platform Prover time Verifier time
Groth16 - Chrome latest on Catalina 1.1015 sec 0.3255 sec
Groth16 - Firefox latest on Catalina 1.375 sec 0.445 sec

Halo2 (WIDTH = 12)

Desktop

Platform Prover time Verifier time
Halo2 0.13675 sec 0.0022623 sec

Plonky 2 - Poseidon<GoldilocksField, 12>

Platform Prover time Verifier time
Plonky 2 2.0804 µs (microseconds) TBA
Last changed by 
 
0xMonia
0
471

Read more

Hardware Review: GPUs , FPGAs and Zero Knowledge Proofs

Zero Knowledge Proofs (ZKPs) are of growing importance for decentralized systems. Initially gaining popularity with projects such as ZCash, they are most widely known today as a scaling solution for Ethereum.

Sep 1, 2023
Urbit Resources

developer docs detailed curriculm sigilante youtube channel with many amazing videos Content the network age podcast Projects uqbar uqbar - zk

Apr 13, 2023
Nightly Paper

Every night I will read a short (max 20 page) and interesting paper. I will choose papers that are from other domains out side my daily work. list of papers I have read so far: https://arxiv.org/pdf/2302.02083.pdf

Feb 13, 2023
Sigma protocols and Fiat–Shamir heuristic

Sigma Protocols Prover->Verifier: generate commitment t Verifier->Prover: generate challenge c Prover->Verifier: generate response z Note right of Verifier: accept or reject tldr; Sigma Protocols are interactive protcols, that contain 3 stages and 2 actors (Prover, Verifier). Sigma protocls allow a Prover to display knolwage of a secret witness. While allowing a Verifier to challane the Prover and to be almost certain (read Soundness section) that the Prover isnt lying. A properly constructed Sigma Protocol will provide "Completeness" making sure a honest Prover will always be responded to with ACCEPT from the Verifier. As well as "soundness" giving the Verifier confidance that a dishonest Prover can attempt to deceive no more then once.

Feb 12, 2023
Read more from 0xMonia
Published on HackMD