An educational implementation of the PLONK proving system
☆10Dec 22, 2025Updated 10 months ago
Alternatives and similar repositories for toyplonk
Users that are interested in toyplonk are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This is a library for simulate probability theory problems specialy conditional probability. It is also useful to create custom single or…☆10Aug 31, 2024Updated 2 years ago
- ☆16Nov 17, 2024Updated last year
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆99Sep 2, 2026Updated last month
- A course on Halo2 in collaboration with Zircuit☆37Mar 30, 2026Updated 6 months ago
- Solidity contracts for Clusters Beta☆14Sep 20, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆17Oct 21, 2025Updated last year
- ☆11Nov 27, 2024Updated last year
- ☆11Jul 24, 2025Updated last year
- Replicated state machine for latency-critical applications. Rust, io_uring, DPDK, LMAX-inspired.☆26Updated this week
- A Fractional NFT Lending platform that supports 1-to-many relation between borrower and lenders with collateral protection for borrower o…☆11Feb 28, 2023Updated 3 years ago
- Binius circuits web demos☆14Dec 15, 2024Updated last year
- 🔩 Uniswap v4 base hook that implements v4-like liquidity logic.☆20Aug 17, 2024Updated 2 years ago
- ☆11Nov 28, 2022Updated 3 years ago
- A crosschain execution engine build in Phat Contract☆11Jan 24, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- This project builds a scalable log analytics pipeline use Lambda architecture for real-time and batch processing of NASA server logs.☆15Sep 16, 2024Updated 2 years ago
- A privacy token inspired by eip7503 that has maximum plausible deniability and a maximum anonymity set by joining public and private stat…☆15Mar 1, 2025Updated last year
- ☆15Jul 28, 2024Updated 2 years ago
- A collection of modular and reusable libraries and tools for semantic analysis of ink! smart contracts.☆13Nov 13, 2025Updated 11 months ago
- Because, frankly, doing this stuff in C sucked way too much.☆13Oct 27, 2025Updated last year
- ☆18Mar 9, 2025Updated last year
- Trusted-Setup ceremony of sigmaB Private Proof of Reserves☆12Sep 1, 2024Updated 2 years ago
- Sensei IR's old home. Now to be found in the monorepo.☆19Feb 26, 2026Updated 8 months ago
- ☆19Sep 3, 2026Updated last month
- 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.
- ink! tools for researching Game Theory on-chain☆14Jul 8, 2023Updated 3 years ago
- Template for writing a contract in Rust.☆15Jan 22, 2026Updated 9 months ago
- Lambda Jam 2014: Roll Your Own Relational DSL☆15Feb 3, 2017Updated 9 years ago
- A VS Code dev container with Swanky and all the dependencies preinstalled☆11Jun 26, 2023Updated 3 years ago
- ☆13Nov 5, 2024Updated last year
- Integritee parachain☆11Nov 7, 2025Updated 11 months ago
- ZkMarek is an educational project created by ethmarek, as an exercise to learn cryptography, with focus on understanding Plonk.☆15Jul 2, 2025Updated last year
- ☆53Oct 16, 2026Updated last week
- Abstraction Layer over Heterogeneous Protocols☆14Mar 10, 2025Updated last year
- 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.
- Work based on http://www-sop.inria.fr/marelle/GeometricAlgebra/☆12Jul 8, 2025Updated last year
- GDG Algiers CTF 2022 Website made with Gatsby and Tailwindcss☆12Sep 25, 2022Updated 4 years ago
- Friendly dogecoin API binding for Python☆17Jan 15, 2022Updated 4 years ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- Deploy your own rollup on Ethereum with op-stack-deployer.☆19Feb 10, 2025Updated last year
- Toy demo of lexing/parsing in Coq☆12Jul 3, 2019Updated 7 years ago
- Smart contracts benchmarking on Substrate☆23Oct 20, 2026Updated last week