List of Maths Resources for ZKPs
☆29May 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☆51Dec 23, 2023Updated 2 years ago
- Technical Education at Web3 Foundation☆18Feb 7, 2026Updated 6 months ago
- Parses https://eprint.iacr.org/eprint-bin/search.pl?last=365&title=1 and sends you an email with the latest papers☆15Nov 11, 2020Updated 5 years ago
- ☆11Dec 9, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- zkSNARKs as a service using secure multi-party computation.☆30Jan 19, 2024Updated 2 years ago
- Examples of using Polygon Miden☆21Aug 25, 2025Updated 11 months ago
- A Minimalistic Rust library to extract all potential function selectors from EVM bytecode without source code.☆37Nov 22, 2023Updated 2 years ago
- An example Holochain app written in Rust using iced☆11Mar 6, 2024Updated 2 years ago
- P2P sub-group posting app on holochain☆13Aug 1, 2023Updated 3 years ago
- Use zk proofs of JWTs to authorize arbitrary transactions on chain. Soon to have scoped oauth'd session keys as well.☆25Oct 7, 2025Updated 10 months ago
- ☆12Aug 2, 2022Updated 4 years ago
- Composable rust types and interfaces specific to the OP Stack. Built on Alloy.☆16Feb 21, 2025Updated last year
- Templates to build modules and apps in the holochain-open-dev style☆13Oct 29, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- supplement material for BlackHat2020 talk: Multiple Bugs in Multi-Party Computation: Breaking Cryptocurrency's Strongest Wallets☆12Aug 13, 2020Updated 6 years ago
- source for 2λ.com☆49Oct 21, 2025Updated 9 months ago
- week 1 coding assignment☆13Jun 25, 2022Updated 4 years ago
- ☆46Oct 31, 2023Updated 2 years ago
- Common protocol for generating ZK proofs for blocks on different blockchains.☆10Feb 9, 2024Updated 2 years ago
- A CRUD library for Holochain zomes that implements the CAPS pattern (Chained, Action ID, Permalink, State-based)☆16Feb 1, 2025Updated last year
- Python library for the analysis of the Collatz problem, providing notebooks, scripts and common modules.☆10May 16, 2025Updated last year
- ☆28Jan 12, 2026Updated 7 months ago
- Solidity gas optimization notes☆10Apr 27, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Here you can find the material of "Intro to smart contract and solidity". First class of the bootcamp during Aleph 2024☆11Aug 19, 2024Updated last year
- 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
- 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.☆357Sep 2, 2025Updated 11 months ago
- CLI based transaction simulator supporting any EVM chain, written in Rust.☆57Sep 15, 2023Updated 2 years ago
- ☆15Feb 15, 2023Updated 3 years ago
- A Rust library to interact with ERC-20 contracts using Alloy.☆15Apr 29, 2026Updated 3 months ago
- Include halo2 example circuits☆10Jul 4, 2022Updated 4 years ago
- SIPP(Statistically sound Inner Pairing Product) verification in SNARK☆17Oct 8, 2023Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆12Mar 11, 2024Updated 2 years ago
- An example setup for integrating the oso policy engine logic within a FastAPI application.☆10Dec 5, 2020Updated 5 years ago
- A suite of portable, extensible `std` components for the superchain.☆21Jan 20, 2025Updated last year
- ☆11May 17, 2025Updated last year
- MEV Stuff☆10Apr 14, 2021Updated 5 years ago
- Fast and flexible keyboard layout analyzer and optimizer☆17Dec 10, 2025Updated 8 months ago
- Extended keyboard layers for easy navigation and functionality based on Colemak☆13Jun 6, 2026Updated 2 months ago