zink-lang / zink
Rustic programming language that targets the Ethereum Virtual Machine
☆114Updated this week
Related projects: ⓘ
- Implementation of ethereum's `ssz`☆101Updated 2 weeks ago
- To collect data on the performance and security characteristics of ZK circuits being verified on the Ethereum Blockchain and expose this …☆61Updated last year
- Fast implementation of Ethereum RLP serialization☆86Updated last month
- RISC-V interactive fraud-proof tech☆98Updated last week
- A set of Zero Knowledge modules, written in Rust and designed to be used in other system programming environments.☆130Updated this week
- Rust Uint crate using const-generics☆170Updated this week
- convert evm bytecode to native machine code and go vroom - just an experiment, probably broken, reach out to georgios@paradigm.xyz to con…☆142Updated 3 months ago
- ☆137Updated last month
- Utilities for working with native solc and compiling projects.☆69Updated this week
- Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)☆109Updated this week
- Reth AlphaNet is a testnet OP Stack-compatible rollup aimed at enabling experimentation of bleeding edge Ethereum Research.☆158Updated this week
- ☆113Updated 2 weeks ago
- Patricia Merkle Tree implementation in Rust☆154Updated 2 weeks ago
- Solidity contracts for a next-gen rollup system.☆57Updated last week
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆120Updated last year
- A suite of `no_std` components for the OP Stack state transition function and L2 chain derivation.☆114Updated this week
- Ethereum Node Record☆60Updated this week
- Collection of ExEx examples built on Reth☆98Updated last week
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆89Updated last month
- Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles☆76Updated this week
- Portal network monitoring application.☆60Updated this week
- Shenlong is a blazingly fast ⚡ tool to generate LLVM IR from Cairo, written in Rust 🦀☆64Updated last year
- Minimal Yul Transpilation to the Miden VM☆51Updated last year
- barretenburg in rust (here we go)☆97Updated 8 months ago
- ☆86Updated 3 months ago
- An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable C…☆117Updated 4 months ago
- Provable play of Nintendo Entertainment System in Noir☆133Updated 3 months ago
- Rust implementation of the Agglayer.☆68Updated this week
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆61Updated this week
- A single-node implementation of a Shadow RPC on top of Reth, utilizing ExEx and custom RPC methods.☆84Updated last month