☆18Mar 16, 2026Updated 2 weeks 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.☆10Jan 24, 2026Updated 2 months ago
- 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 7 months ago
- A collection of awesome Miden links, resources and shiny things.☆18Jun 12, 2025Updated 9 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- 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☆16Dec 18, 2024Updated last year
- Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.☆29Oct 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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- DID Method Working Group operations repo☆17Updated this week
- Binius implementation in a series of Python Jupyter Notebooks, for pedagogic purposes.☆12May 27, 2024Updated last year
- 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 3 years ago
- Describe elliptic curves☆35May 10, 2021Updated 4 years ago
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 2 years ago
- Delve into low-level RISC Zero machine☆30Dec 25, 2023Updated 2 years ago
- Simple implementation of KZG commitments in C☆36Jan 18, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆49Mar 23, 2026Updated last week
- ☆100May 2, 2025Updated 10 months ago
- HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)☆17Dec 9, 2020Updated 5 years ago
- ☆18Jul 16, 2025Updated 8 months ago
- Proof of concept implementation of sumcheck over fields of small characteristics.☆20May 16, 2025Updated 10 months ago
- ☆16Mar 11, 2024Updated 2 years ago
- Proving historical Ethereum transactions using the Plonky2 zkEVM☆14Jul 26, 2024Updated last year
- A verifiable supercomputer☆78Jun 26, 2025Updated 9 months ago
- Implementations of algorithms and protocols from Justin Thaler's "Proofs, Arguments, and Zero-knowledge"☆21Feb 19, 2023Updated 3 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.
- Empirical Study of the Prominence of Zero-Knowledge Proof (ZKP) Languages☆22Aug 6, 2025Updated 7 months ago
- 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
- Solidity libraries and contracts for verifying WHIR proofs on the EVM.☆30Dec 19, 2024Updated last year
- Source code for all entries from the 2023 ZPrize competition☆25Jan 29, 2026Updated 2 months ago