ZeroKnowledgefm / STARKs
A spot to start collecting info about STARKs for our study group
β11Updated 3 years ago
Alternatives and similar repositories for STARKs:
Users that are interested in STARKs are comparing it to the libraries listed below
- Smart contracts for OPRHub protocol βπ»β12Updated 4 years ago
- Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdfβ14Updated 3 years ago
- β14Updated 3 years ago
- β15Updated 3 years ago
- β15Updated 4 years ago
- Efficient zero-knowledge arguments in the discrete log setting, revisitedβ15Updated 5 years ago
- MerkleTree compatible with circomlib/smtβ13Updated 3 years ago
- Huff implementation of the BabyJubJub curveβ13Updated 5 years ago
- powdr application running Ethereum tests via revmβ18Updated 8 months ago
- A Cairo VM prover implemented using Winterfellβ16Updated last year
- Notes for the R1CS programming workshop at ZK0x04β30Updated 5 years ago
- Blind signatures over elliptic curve implementation (native & r1cs constraints).β13Updated 2 years ago
- β18Updated 2 years ago
- a sketch of what a zkvm could look likeβ26Updated 3 years ago
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworksβ16Updated 2 years ago
- Solidity verifier for Plonkβ41Updated 6 months ago
- Solidity implementation of the baby jubjub curveβ22Updated 10 months ago
- β18Updated 4 years ago
- Research prototypes of Data Availability Sampling for Ethereum (WIP)β16Updated 2 years ago
- Rust implementation of {t,n}-threshold ECDSA (elliptic curve digital signature algorithm).β10Updated 5 years ago
- β39Updated 2 years ago
- [WIP] a solidity implementation of verification in a STARK on a MIMC calculationβ10Updated 3 years ago
- preliminary, high-level eth2-client benchmarksβ16Updated 4 years ago
- Ethereum Virtual Machine implementation from scratch in Rustβ26Updated 3 years ago
- SIPP(Statistically sound Inner Pairing Product) verification in SNARKβ17Updated last year
- β11Updated last year
- FRI low-degree-testing & polynomial commitment schemeβ23Updated last year
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parametersβ11Updated 3 years ago
- Khalil, R. and Dulay, N. 2021. 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services. Adaptive layerβ¦β10Updated 4 years ago