warlock-labs / noether
Modern, idiomatic, well documented abstract algebra for Rust
☆47Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for noether
- Typestate interface for revm☆61Updated 2 weeks ago
- Sidecar to Enable Rollup Extensions☆51Updated this week
- Transports, Middleware, and Networks for Optimism built with Alloy☆37Updated this week
- Minimal template for using the Arbiter framework for simulations.☆45Updated this week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆55Updated this week
- Solidity contracts for a next-gen rollup system.☆63Updated 2 weeks ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆92Updated 2 months ago
- Suave/TEE PoCs of MEV Resistant AMMs☆40Updated 5 months ago
- Minimal Yul Transpilation to the Miden VM☆53Updated last year
- 🔒💬 A protocol for credible commitments.☆73Updated 9 months ago
- 🦀 Blazing fast, modern, and optimized Rust building blocks for smart contract development using Stylus.☆47Updated 10 months ago
- ☆29Updated this week
- Discrete event simulator built in Rust 🦀☆13Updated last year
- an introduction to noir, with simple examples☆42Updated 10 months ago
- 🔴 💬 A hack for the OP Stack enabling sequencer commitments.☆28Updated 11 months ago
- Rust bindings for Solidity's AST and visitors☆49Updated last year
- PoC of Revm execution in SGX☆81Updated last year
- ☆31Updated 8 months ago
- A mostly mostly reasonable approach to Huff styling.☆79Updated last year
- Contracts for onchain verification of SP1.☆59Updated last week
- Collection of helpful smart contracts to build Suapps☆44Updated last month
- Repository for research on Suave.☆23Updated last year
- Serverless function on Reth☆67Updated 2 months ago
- Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust☆62Updated last year
- a prototype ethereum block builder☆83Updated last year
- Making learning sh*t less annoying☆10Updated this week
- Terminal interface tracking gas, transactions and data processed by Decentralized Networks.☆16Updated 3 months ago
- Introduction to core development via CTF challenges☆39Updated 2 years ago
- Symbolic EVM in Rust (WIP)☆85Updated 10 months ago