☆18Mar 16, 2026Updated 2 months ago
Alternatives and similar repositories for wg-plonkish
Users that are interested in wg-plonkish are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Apr 20, 2026Updated last month
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆28Nov 7, 2023Updated 2 years ago
- Anemoi: a Family of ZK-friendly Arithmetization Oriented Hash Functions☆14Jul 9, 2023Updated 2 years ago
- curated list of proof of personhood approaches and papers.☆16Aug 13, 2025Updated 9 months ago
- A collection of awesome Miden links, resources and shiny things.☆18Jun 12, 2025Updated 11 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- All the code I've ever written in Ltac2☆11Jan 19, 2021Updated 5 years ago
- plonky2 proving over paladin☆22Jun 19, 2024Updated last year
- Invoke SMT solvers from Coq to check obligations☆10Jun 16, 2020Updated 5 years ago
- Contains several examples and challenges to use Lambdaworks☆15Sep 7, 2023Updated 2 years ago
- evolution of did:ethr☆15Feb 7, 2024Updated 2 years ago
- An implementation of a post quantum anonymous credential scheme☆15Dec 18, 2024Updated last year
- Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.☆30Oct 13, 2024Updated last year
- Draft documents for standardization of Plonkish arithmetization☆23Mar 15, 2024Updated 2 years ago
- collaboration on work in progress☆15Mar 4, 2011Updated 15 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.
- DID Method Working Group operations repo☆17May 20, 2026Updated last week
- Binius implementation in a series of Python Jupyter Notebooks, for pedagogic purposes.☆12May 27, 2024Updated 2 years ago
- Benchmarks for Pedersen hash implementations☆12Nov 22, 2022Updated 3 years ago
- A curated list of awesome things related to learning Binius☆16Jan 9, 2025Updated last year
- Rust FFI bindings for StarkWare's crypto-cpp library☆15Apr 27, 2022Updated 4 years ago
- Describe elliptic curves☆35May 10, 2021Updated 5 years ago
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 2 years ago
- Simple implementation of KZG commitments in C☆35Jan 18, 2023Updated 3 years ago
- Delve into low-level RISC Zero machine☆31Dec 25, 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.
- ☆101May 2, 2025Updated last year
- HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)☆17Dec 9, 2020Updated 5 years ago
- Proof of concept implementation of sumcheck over fields of small characteristics.☆20May 16, 2025Updated last year
- ☆16Mar 11, 2024Updated 2 years ago
- ☆18Jul 16, 2025Updated 10 months ago
- Proving historical Ethereum transactions using the Plonky2 zkEVM☆14Jul 26, 2024Updated last year
- ☆54May 18, 2026Updated last week
- A verifiable supercomputer☆78Jun 26, 2025Updated 11 months ago
- Implementations of algorithms and protocols from Justin Thaler's "Proofs, Arguments, and Zero-knowledge"☆21Feb 19, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Empirical Study of the Prominence of Zero-Knowledge Proof (ZKP) Languages☆22Apr 19, 2026Updated last month
- Specifications for the Machine Payments Protocol - powered by the "Payment" HTTP authentication scheme☆75May 20, 2026Updated last week
- Common protocol for generating ZK proofs for blocks on different blockchains.☆10Feb 9, 2024Updated 2 years ago
- ☆52Oct 10, 2023Updated 2 years ago
- ☆49Feb 20, 2025Updated last year
- 该项目实现了隐私保护和可验证的卷积神经网络（CNN）测试，旨在使模型开发者能够在多个测试者提供的非公开数据上向用户证明CNN性能的真实性，同时保护模型和数据的隐私。☆17Oct 23, 2023Updated 2 years ago
- Source code for all entries from the 2023 ZPrize competition☆26Jan 29, 2026Updated 4 months ago