☆11Apr 12, 2026Updated 6 months ago
Alternatives and similar repositories for DeepFold-Hyperplonk
Users that are interested in DeepFold-Hyperplonk are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆40Jul 30, 2025Updated last year
- The entry point for Rust projects to be run on Valida☆10Mar 14, 2025Updated last year
- ICICLE version for gnark integration☆13Aug 29, 2025Updated last year
- 基于winpcap MFC的简单的网络抓包器/勉强能用/课程大作业(A simple sniffer based winpcap&MFC. As a design of network course, it is crude and may have bugs!)☆14May 12, 2023Updated 3 years ago
- Binius implementation in a series of Python Jupyter Notebooks, for pedagogic purposes.☆12May 27, 2024Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆12Apr 22, 2025Updated last year
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆75Jul 12, 2026Updated 3 months ago
- Yet Another Bridge is the most affordable, fastest and secure solution to bridge from Starknet to Ethereum☆11Jun 16, 2024Updated 2 years ago
- ☆33Sep 19, 2022Updated 4 years ago
- A Rust library for the preprocessing zkSNARK of Groth and Maller☆13Oct 29, 2024Updated 2 years ago
- Rust Code for CELPC☆20Mar 28, 2025Updated last year
- ☆15Aug 27, 2025Updated last year
- A SNARK using towers of binary fields, implemented in Rust .☆140Sep 9, 2025Updated last year
- cuZK: An Efficient GPU Implemetation of zkSNARK☆40Sep 19, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A lattice-based non-interactive folding scheme written in Rust☆131May 1, 2026Updated 6 months ago
- A comprehensive transaction MPT proofs handler for Ethereum / Starknet☆12Oct 14, 2025Updated last year
- Hashing circuits implemented in circom☆31Jan 24, 2025Updated last year
- Cairo bootloader port for the Rust Cairo VM.☆12Jul 3, 2024Updated 2 years ago
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆77Nov 6, 2025Updated 11 months ago
- A curated list of awesome things related to learning Circle STARK.☆32Aug 26, 2025Updated last year
- 创建你的自定义星露谷物语信件图片！Create Your Custom Stardew Valley Mail Image!☆15Mar 20, 2025Updated last year
- ☆12Jun 5, 2025Updated last year
- Cairo-VM STONE STARK Verifier Rust implementation☆44Feb 4, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Lean4 formalization of "A Simplified Round-by-round Soundness Proof of FRI"☆11Apr 1, 2026Updated 7 months ago
- Step by step implementation of FRI☆13Feb 9, 2025Updated last year
- WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification☆225Oct 28, 2026Updated last week
- This library is archived; see crypto-primities for the latest version of this code☆21Feb 15, 2023Updated 3 years ago
- Groth16 wrapper for STWO proof-system☆12Jan 19, 2026Updated 9 months ago
- A Verilog (specifically, System Verilog) implementation of the not-yet-finalized SHA-3 winner, Keccak.☆15Apr 8, 2026Updated 6 months ago
- ☆12Feb 20, 2026Updated 8 months ago
- Verifying Cairo Programs in SP1☆14Oct 16, 2024Updated 2 years ago
- polynomial commitments from linear codes☆51Dec 13, 2024Updated last year
- 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.
- A rust and SageMath implementation of (2,2)-isogenies in the theta model☆29Jan 15, 2025Updated last year
- Integrating Stone Prover's generated proofs with the Cairo0 verifier☆10Mar 8, 2024Updated 2 years ago
- Shared peer-to-peer network of zero-knowledge provers☆16Dec 5, 2024Updated last year
- Cairo1 execution in Cairo0 environment☆11Jul 14, 2024Updated 2 years ago
- Binius circuits web demos☆14Dec 15, 2024Updated last year
- ☆41Jan 7, 2024Updated 2 years ago
- An Automatic Tool to Search for Full Impossible-Differential, Zero-Correlation and Integral Attacks☆13Nov 12, 2024Updated last year