List of Maths Resources for ZKPs
☆28May 11, 2024Updated 2 years ago
Alternatives and similar repositories for AwesomeMaths
Users that are interested in AwesomeMaths are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆69Sep 15, 2023Updated 2 years ago
- A curated list of ZK and Maths resources☆50Dec 23, 2023Updated 2 years ago
- Technical Education at Web3 Foundation☆18Feb 7, 2026Updated 4 months ago
- Aurora EVM – a high-performance, pure Rust implementation of the Ethereum Virtual Machine (EVM). Designed for security, efficiency, and f…☆30Mar 26, 2026Updated 2 months ago
- Holochain provider for Yjs -- build real time p2p shared editor apps☆11Aug 9, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- zkSNARKs as a service using secure multi-party computation.☆30Jan 19, 2024Updated 2 years ago
- Sample notepad application in Mithril (JSX) and Go showing good practices and integrations with modern tools. This project uses Bulma, Cy…☆10Jan 7, 2023Updated 3 years ago
- Examples of using Polygon Miden☆21Aug 25, 2025Updated 9 months ago
- An example Holochain app written in Rust using iced☆11Mar 6, 2024Updated 2 years ago
- A Minimalistic Rust library to extract all potential function selectors from EVM bytecode without source code.☆37Nov 22, 2023Updated 2 years ago
- P2P sub-group posting app on holochain☆13Aug 1, 2023Updated 2 years ago
- This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Pl…☆28Apr 4, 2025Updated last year
- Use zk proofs of JWTs to authorize arbitrary transactions on chain. Soon to have scoped oauth'd session keys as well.☆24Oct 7, 2025Updated 8 months ago
- ☆11Dec 9, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Templates to build modules and apps in the holochain-open-dev style☆13Oct 29, 2024Updated last year
- ☆12Aug 2, 2022Updated 3 years ago
- A WebAssembly component with GitHub authentication middleware and business logic☆26Apr 22, 2026Updated last month
- supplement material for BlackHat2020 talk: Multiple Bugs in Multi-Party Computation: Breaking Cryptocurrency's Strongest Wallets☆12Aug 13, 2020Updated 5 years ago
- ☆46Oct 31, 2023Updated 2 years ago
- ☆12Aug 19, 2024Updated last year
- Composable rust types and interfaces specific to the OP Stack. Built on Alloy.☆16Feb 21, 2025Updated last year
- ☆51Mar 23, 2025Updated last year
- A CRUD library for Holochain zomes that implements the CAPS pattern (Chained, Action ID, Permalink, State-based)☆16Feb 1, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- source for 2λ.com☆48Oct 21, 2025Updated 7 months ago
- Common protocol for generating ZK proofs for blocks on different blockchains.☆10Feb 9, 2024Updated 2 years ago
- ☆24Aug 13, 2025Updated 10 months ago
- Ship cross-platform p2p apps☆28May 15, 2026Updated last month
- Solidity gas optimization notes☆10Apr 27, 2023Updated 3 years ago
- A minimalist TUI block explorer for Ethereum networks☆23May 28, 2025Updated last year
- A connector to Rainbow Bridge that allows sending $NEAR to Ethereum as an ERC-20 token (eNEAR)☆10Mar 29, 2025Updated last year
- A curated list of Zero Knowledge links, mostly focusing on blockchain.☆359Sep 2, 2025Updated 9 months ago
- SIPP(Statistically sound Inner Pairing Product) verification in SNARK☆17Oct 8, 2023Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆16Feb 15, 2023Updated 3 years ago
- Include halo2 example circuits☆10Jul 4, 2022Updated 3 years ago
- ☆12Mar 11, 2024Updated 2 years ago
- CLI based transaction simulator supporting any EVM chain, written in Rust.☆57Sep 15, 2023Updated 2 years ago
- A Rust library to interact with ERC-20 contracts using Alloy.☆15Apr 29, 2026Updated last month
- Modular aggregated order book for CeFi exchanges☆14May 25, 2023Updated 3 years ago
- MEV Stuff☆10Apr 14, 2021Updated 5 years ago