A collection of blockchain-related SoK papers.
☆18Aug 6, 2022Updated 3 years ago
Alternatives and similar repositories for SoK
Users that are interested in SoK are comparing it to the libraries listed below
Sorting:
- Dynamic Universal Accumulator with Batch Update over Bilinear Groups☆15Sep 13, 2021Updated 4 years ago
- A place to collect ZKJobs☆17May 19, 2021Updated 4 years ago
- Version 2 of ZKaggle, 🏆 Finalist of ETHGlobal FVM Space Warp Hack☆16Jul 12, 2023Updated 2 years ago
- Implementation of the ZKB++ proof system☆20May 28, 2019Updated 6 years ago
- ☆21Dec 30, 2024Updated last year
- Crypto Wasm Library for Zecrey☆15Nov 2, 2022Updated 3 years ago
- A library for decentralized private computation☆19Jul 21, 2021Updated 4 years ago
- High-Level languages for zkSNARKs, Fully-Homomorphic-Encryption and Multi-Party-Computation☆22Apr 12, 2019Updated 6 years ago
- An independent implementation of the Powers of Tau MPC ceremony.☆33Mar 13, 2018Updated 7 years ago
- ☆19Jul 17, 2021Updated 4 years ago
- A zkSNARK implementation of a merkle tree membership preimage proof.☆22May 6, 2019Updated 6 years ago
- ☆52May 12, 2023Updated 2 years ago
- A collection of resources for the dojo ecosystem☆29Jul 24, 2024Updated last year
- A substrate pallet that enables Manta's decentialized anynonymous payment (MantaPay) protocol.☆28Mar 2, 2022Updated 4 years ago
- Draft documents for standardization of Plonkish arithmetization☆23Mar 15, 2024Updated last year
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Jan 22, 2023Updated 3 years ago
- ☆27Oct 18, 2022Updated 3 years ago
- a sketch of what a zkvm could look like☆26Apr 19, 2021Updated 4 years ago
- Playing with zero-knowledge proof languages☆107Jan 26, 2023Updated 3 years ago
- ☆28Jan 12, 2026Updated last month
- In-EVM Solana Light Client State Verification☆36May 10, 2024Updated last year
- zkChannels: Anonymous Payment Channels for Bitcoin, Zcash, Tezos and more☆70Jun 6, 2022Updated 3 years ago
- We are a community of researchers and developers interested in advancing homomorphic encryption and other secure computation techniques.☆69Feb 27, 2026Updated last week
- Eigen zkVM's Proving Service☆29Aug 24, 2025Updated 6 months ago
- Zero-knowledge Tools for the Polkadot Ecosystem☆61Feb 10, 2023Updated 3 years ago
- The Bond API.☆27Oct 1, 2018Updated 7 years ago
- A curated list of awesome things related to learning Circle STARK.☆33Aug 26, 2025Updated 6 months ago
- Polymath: Groth16 Is Not The Limit☆31Feb 6, 2025Updated last year
- Low-level language for encoding AIR of computations☆38May 7, 2023Updated 2 years ago
- Optimized implementation of the Picnic signature scheme☆83Sep 2, 2022Updated 3 years ago
- ☆81Nov 17, 2020Updated 5 years ago
- ☆46Oct 9, 2023Updated 2 years ago
- A simple script to plot the Roofline model for given HW platforms and applications☆10Aug 22, 2024Updated last year
- Basic implementation of a double auction in Python☆10Aug 30, 2021Updated 4 years ago
- ☆10Aug 16, 2022Updated 3 years ago
- This paper aims to offer a collection of the most popular blockchain scalability solutions. The main goal is to give a fundamental unders…☆15Oct 26, 2018Updated 7 years ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 4 years ago
- Rapid Blockchain Prototypes for Rust☆15Feb 27, 2026Updated last week
- Template for the CryCollege library.☆12Jan 6, 2024Updated 2 years ago