Modern, idiomatic, well documented abstract algebra for Rust
☆60Apr 12, 2025Updated 10 months ago
Alternatives and similar repositories for noether
Users that are interested in noether are comparing it to the libraries listed below
Sorting:
- Rust native N dimensional arrays☆20Jul 14, 2024Updated last year
- Aims to provide an audited, elegant, minimal implementation of BLS signing, key generation, resharing over the alt-bls128 curve☆46Mar 27, 2025Updated 11 months ago
- High performance lock free data structures for Rust☆16Oct 16, 2024Updated last year
- We're living in Obfustopia☆27Jan 2, 2025Updated last year
- Generalized EIP-3074 Invoker with batch transaction support.☆17Apr 27, 2024Updated last year
- Mozak RISC-V Virtual Machine☆25Mar 24, 2025Updated 11 months ago
- An observatory fork of SP1☆77Feb 11, 2025Updated last year
- Blocktime estimator in Rust☆35Aug 10, 2023Updated 2 years ago
- uniswap sdk core in rust☆63Dec 21, 2025Updated 2 months ago
- An all-in-one solution for proving that a beacon block is a predecessor of another beacon block.☆17Sep 10, 2024Updated last year
- Gnosis Safe Tx Service API client & associated tooling☆21Apr 7, 2023Updated 2 years ago
- A performant high level server for hyper☆39Mar 14, 2025Updated 11 months ago
- calculate new mpt root without loading entire trie☆17Jun 19, 2024Updated last year
- the EVM, simplified☆99Feb 18, 2026Updated last week
- Macros + Primitives for PADE format☆29Jul 26, 2025Updated 7 months ago
- {{{ rem = reth + malachite }}} {{{ proof of concept }}}☆20Jan 5, 2025Updated last year
- rust types and services for Zenith 🎀☆29Mar 26, 2025Updated 11 months ago
- Solidity Library for BLS over the alt-bn128 curve☆16Nov 5, 2024Updated last year
- Terminal interface tracking gas, transactions and data processed by Decentralized Networks.☆23Jan 7, 2026Updated last month
- ☆16Feb 9, 2026Updated 3 weeks ago
- wall time exex for reth☆12Aug 5, 2024Updated last year
- ☆10Oct 24, 2022Updated 3 years ago
- Polymath: Groth16 Is Not The Limit☆31Feb 6, 2025Updated last year
- Solidity contracts for a next-gen rollup system.☆70Feb 14, 2026Updated 2 weeks ago
- Performance and security acceleration for zkVMs.☆483Updated this week
- Cryptography Educational Foundations☆339Nov 24, 2025Updated 3 months ago
- Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …☆159Apr 2, 2025Updated 11 months ago
- Rust implementation of KZG point evaluation☆35Feb 16, 2026Updated 2 weeks ago
- A verifiable supercomputer☆77Jun 26, 2025Updated 8 months ago
- The first CHIP-8 zkvm☆21Jun 4, 2024Updated last year
- ☆14Oct 9, 2024Updated last year
- Write Zero Knowledge Circuits in Solidity☆13Nov 30, 2023Updated 2 years ago
- Official Foundry landing page☆17Jun 28, 2023Updated 2 years ago
- implentation of Ligerito☆19Nov 9, 2025Updated 3 months ago
- A ZK-VM for the Brainfuck language, based on Stwo☆34Apr 3, 2025Updated 11 months ago
- A EVM block proving backend in Cairo☆88Feb 23, 2026Updated last week
- A tool for collecting function selectors quickly and decoding signatures from EVM bytecode.☆58Feb 3, 2026Updated last month
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆65Jul 27, 2024Updated last year
- Diamond iO implementation https://eprint.iacr.org/2025/236☆91Sep 19, 2025Updated 5 months ago