unbalancedparentheses / learning
I like to learn new things
☆10Updated last year
Related projects ⓘ
Alternatives and complementary repositories for learning
- ZK proofs for Brainfuck execution using powdr☆15Updated 2 months ago
- ☆39Updated 2 years ago
- ZK Theorem Proving☆12Updated 3 months ago
- Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer☆13Updated last year
- ☆13Updated last year
- ☆14Updated last year
- ☆18Updated 2 years ago
- Starknet sequencer built with Tendermint Core☆53Updated last year
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- A Cairo VM prover implemented using Winterfell☆16Updated last year
- ☆21Updated last year
- Cairo implementation of operations over the elliptic curve BLS12-381☆14Updated last year
- Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …☆43Updated this week
- An ABI compatible for KZG EIP-4844 in Rust☆23Updated last year
- Research prototypes of Data Availability Sampling for Ethereum (WIP)☆16Updated last year
- ☆21Updated 2 years ago
- ☆17Updated last year
- ☆23Updated last year
- evm implementation in rust☆16Updated 2 years ago
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- a simple implementation of the KZG polynomial commitment scheme☆26Updated 3 years ago
- A tool for single Ethereum archival block state proofs.☆33Updated last year
- A persistent, robust, and composable proposal service for rollup stacks written in pure rust.☆18Updated last year
- Andromeda revm execution service☆30Updated 3 months ago
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Updated 2 years ago
- Experiments for "Goldfish: No More Attacks on Proof-of-Stake Ethereum"☆13Updated last year
- Efficient nibble-sized (4-bit) byte sequence data structure☆25Updated 5 months ago