R1CS to Plonk transpiler
☆11Jun 12, 2025Updated last year
Alternatives and similar repositories for plonkify
Users that are interested in plonkify are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆22Sep 22, 2024Updated 2 years ago
- ☆11Sep 10, 2024Updated 2 years ago
- Circom circuits library for magnificent ZK applications☆15Jun 4, 2025Updated last year
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆42Feb 17, 2025Updated last year
- ☆15Jun 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.
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆37May 4, 2026Updated 5 months ago
- Proof-of-concept code for beating Google's ZK proof of quantum cryptanalysis☆16Apr 17, 2026Updated 6 months ago
- Pure Rust implementation of the post-quantum secure digital signature scheme FAEST☆22Jun 22, 2026Updated 3 months ago
- Repository containing code accompanying the paper "Aggregating Falcon Signatures With LaBRADOR".☆21May 26, 2024Updated 2 years ago
- A framework for extracting and formally verifying constraint systems from the Plonky3 zkDSL in Lean.☆17Jan 21, 2026Updated 8 months ago
- ☆25Feb 20, 2025Updated last year
- ZK proofs for image authenticity☆62Oct 3, 2025Updated last year
- A support library for working with zero knowledge cryptography in Lean 4.☆50May 27, 2026Updated 4 months ago
- ☆94Sep 13, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- SQLite integration via WASM☆12Dec 5, 2023Updated 2 years ago
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆56Dec 18, 2025Updated 10 months ago
- Reference and optimized implementations of the CROSS post-quantum signature algorithm☆13Jul 23, 2026Updated 2 months ago
- Combined solution from Matter Labs and Yrrid based on their respective submissions for the Z-Prize category Accelerating MSM Operations o…☆16Oct 30, 2023Updated 2 years ago
- Howitzer is a Fault Proof VM based on the MIPS64 architecture☆14Sep 4, 2024Updated 2 years ago
- Accelerating MSM Operations on GPU/FPGA☆16Sep 16, 2022Updated 4 years ago
- OPHELib is an optimized library for partially homomorphic encryption. It currently provides an implementation of the Paillier encryption …☆15May 29, 2019Updated 7 years ago
- ☆14Sep 4, 2023Updated 3 years ago
- ☆11Apr 3, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆112Nov 27, 2025Updated 10 months ago
- Cryptography in SageMath.☆10Dec 17, 2018Updated 7 years ago
- GEMM by WMMA (tensor core)☆15Jul 31, 2022Updated 4 years ago
- Rust language proof-carrying data framework☆60Updated this week
- Crescent adds privacy to existing credentials with zero-knowledge☆52Sep 21, 2026Updated 3 weeks ago
- CAS, Commutative Rings, Fraction Fields, Quotient Rings, Polynomial Rings, Galois Fields☆11Jun 13, 2026Updated 4 months ago
- rust binding for lean4☆11Jul 1, 2023Updated 3 years ago
- Multiple-precision GPU accelerated linear algebra routines (dense and sparse) based on residue number system☆22Dec 19, 2022Updated 3 years ago
- Implementation of common Zigbee functionality, written in Go.☆10Jun 14, 2024Updated 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.
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆12Apr 30, 2026Updated 5 months ago
- Minimal zkVM for Ethereum.☆172Updated this week
- ☆27Sep 8, 2026Updated last month
- Binary Proofs, Blazing Fast☆206Oct 12, 2026Updated last week
- Synchronization primitives for both web and native.☆17Jan 19, 2024Updated 2 years ago
- ☆54Feb 20, 2025Updated last year
- A very fast and scalable quantum circuit optimizer☆48Updated this week