This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.

This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Plonky3.

Write halo2/plonky3 circuit in easy script language, with a visualizer about halo2/plonky2/plonky3

Collatz sequence AIR constraints using Plonky3 and Winterfell backends

Visualizer for Plonky3 AIR constraints

ZirForge Finance — post-quantum private institutional finance & RegTech subsystem on ZirOS. Artifact-only verification release: ZK proofs, verifier, Compact contracts, evidence, integrity spine.

OSS CLI to diagnose ZK circuit projects (Aleo/Noir/Compact/Cairo/risc0) for common health issues — sibling to the ZK Cookbook.

ZK-HADES (Hybrid Acyclic Decentralized Encrypted Settlement) is an enterprise-grade settlement protocol designed for regulated decentralized finance (RegDeFi) and institutional applications using post quantum ZK proofs and crypto algorithms.

Diff two Plonky3 trees on Poseidon2 NEON correctness oracles + PMU cycle benches

Out-of-core STARK proving. Prove a STARK whose execution trace is far larger than RAM, in a fixed small memory budget, by streaming the transforms, commitment, and FRI through fast storage.

Pre-release MIT resource-bounded Plonky3 0.6.1 prover with SSD-backed execution and deterministic resume for Linux x86-64.

Public data feed for Bounty Radar Pro — real-time bounty intelligence across 11 ZK + AI ecosystems. Updated every 30 min.