lucasgleba / zkSubleq
A zero-knowledge virtual machine with only one instruction
☆12Updated 3 years ago
Alternatives and similar repositories for zkSubleq:
Users that are interested in zkSubleq are comparing it to the libraries listed below
- ☆15Updated last year
- Eddy255 elliptic curve parameters and implementation (embedding Ed25519)☆11Updated 2 years ago
- A Solidity implementation of Halo2's Pasta curves☆49Updated 2 years ago
- ☆17Updated 2 years ago
- Partial Block Building with TEEs☆17Updated last year
- powdr application running Ethereum tests via revm☆18Updated 10 months ago
- ZK proofs for Brainfuck execution using powdr☆15Updated 7 months ago
- Groth16 verifier in EVM☆21Updated last year
- This repo hosts the code for an analysis on Ethereum gas limit.☆18Updated last year
- ☆23Updated 2 years ago
- Demo of optimal Ate pairing implemented inside a zk-snark☆12Updated 2 years ago
- ☆23Updated 2 years ago
- Write Zero Knowledge Circuits in Solidity☆13Updated last year
- ☆23Updated last year
- zkSNARK implementation in JavaScript & WASM☆15Updated 2 years ago
- https://eprint.iacr.org/2020/1516.pdf☆19Updated 2 years ago
- 🦀 celestia-node REST client in Rust.☆18Updated 2 years ago
- a simple implementation of the KZG polynomial commitment scheme☆26Updated 3 years ago
- ☆14Updated last year
- Research prototypes of Data Availability Sampling for Ethereum (WIP)☆16Updated 2 years ago
- Simple, reliable, open-source contract verification built for an L2 centric Ethereum ecosystem☆23Updated last year
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated 2 years ago
- Go library to access the blockchain state of Go-ethereum☆16Updated 2 years ago
- Prove multi-opens of EIP-4844 KZG blobs☆14Updated last year
- A Cairo VM prover implemented using Winterfell☆16Updated last year
- etk-Foundry project template☆21Updated 2 years ago
- A research-only integration of Sovereign with Celestia☆20Updated last year
- ☆21Updated last year
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Updated 2 years ago
- Celestia derivation pipeline and proof crate built with kona☆14Updated last week