Modulus-Labs / Papers
Repository of papers released by Modulus Labs
☆12Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for Papers
- revm (Rust Ethereum VM) translation for Era / zkEVM☆11Updated 11 months ago
- A non-invasive disjoint-set-like data structure implementation in Rust☆10Updated 5 months ago
- ♨️ Highest Throughput EVM L2 PoC, ThreadSafe Execution ♨️☆14Updated 8 months ago
- ☆37Updated last year
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 2 months ago
- The V0 rust IMAP + SMTP server that reads email via imap, generates a zk proofs either locally or on an on-demand AWS machine with modal,…☆12Updated 7 months ago
- Cubist multichain SDK and CLI☆18Updated 4 months ago
- ☆16Updated 6 months ago
- Deterministic executor + network sim for tokio-based systems.☆14Updated last month
- High performance EraVM for zkSync.☆23Updated 3 weeks ago
- 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
- Timestamp VM in Rust☆19Updated 3 months ago
- Shared Lurk source code, including tests and library code.☆18Updated 8 months ago
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆25Updated 2 months ago
- Remote Attestation VErification☆29Updated 3 months ago
- FheOS is a modular layer that allows the blockchain to execute encrypted computations powered by FHE☆28Updated this week
- Fully-compatible implementation of Privacy Pass in Rust.☆35Updated 4 years ago
- Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer☆13Updated last year
- Go Bindings for the Solidity Compiler☆16Updated this week
- Configuration and scripts for running Astria☆20Updated 3 months ago
- Rust client library for Flashbot's mev-share.☆20Updated last year
- ☆11Updated last year
- A parallel proving service for ZKM.☆18Updated last month
- Pint, the constraint-based programming language for declarative blockchains☆17Updated this week
- Interchain Atomicity, Blockbuilding and Routing via Composable VM☆11Updated 7 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Bit Twister: A CLI tool for precise network traffic shaping. Simulate latency, bandwith limitation, drop packets, impose jitter with ease…☆15Updated 10 months ago
- A ziglang implementation of the SSZ serialization protocol☆21Updated 3 months ago
- Celo Light Client (IBC compatible)☆16Updated 2 years ago
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆24Updated 3 years ago