Skip to content

@Plonky3 Plonky3

All

    Repositories list

    7 repositories

    • Plonky3

      Public
      A toolkit for polynomial IOPs (PIOPs)
      Rust
      •
      Apache License 2.0
      •478•860•23•6•Updated Oct 27, 2026Oct 27, 2026

    • Plonky3-lean

      Public
      Formal models and machine-checked proofs for Plonky3, in Lean 4.
      formal-verificationzero-knowledgehax
      formal-verificationzero-knowledgehaxstarkslean4plonky3
      Lean
      •
      MIT License
      •2•4•1•5•Updated Oct 25, 2026Oct 25, 2026

    • Plonky3-native-recursion

      Public
      Rust
      •
      Apache License 2.0
      •0•0•0•1•Updated Oct 23, 2026Oct 23, 2026

    • Plonky3-recursion-lab

      Public
      Experimental: Plonky3 verifiers written once over an abstract arithmetic, recursed inside a fixed table machine.
      Rust
      •
      Apache License 2.0
      •0•0•0•0•Updated Oct 23, 2026Oct 23, 2026

    • Plonky3-recursion

      Public
      Plonky3 native support for p3-uni-stark and p3-batch-stark recursion... and more
      Rust
      •
      Apache License 2.0
      •19•28•16•4•Updated Oct 22, 2026Oct 22, 2026

    • awesome-plonky3

      Public
      A curated list of Plonky3 resources, libraries, tools and more.
      9•47•0•1•Updated Dec 1, 2025Dec 1, 2025

    • codes

      Public
      [Unmaintained] Plonky3 code relating to codes such as Brakedown
      Rust
      •0•3•0•0•Updated Apr 20, 2024Apr 20, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.