-
CompPoly Public
Forked from Verified-zkEVM/CompPolyA computable model of Polynomials in Lean.
Lean Apache License 2.0 UpdatedJun 5, 2026 -
-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedMay 27, 2026 -
aeneas Public
Forked from AeneasVerif/aeneasA verification toolchain for Rust programs
OCaml Apache License 2.0 UpdatedMay 14, 2026 -
charon Public
Forked from AeneasVerif/charonAnalyze Rust crates without touching compiler internals
Rust Apache License 2.0 UpdatedMay 14, 2026 -
-
whir Public
Forked from worldfnd/whirWHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification
Rust Apache License 2.0 UpdatedMay 2, 2026 -
-
spongefish Public
Forked from arkworks-rs/spongefishFiat-Shamir for the masses.
Rust Apache License 2.0 UpdatedApr 28, 2026 -
zerocopy Public
Forked from google/zerocopyZerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.
Rust Apache License 2.0 UpdatedApr 22, 2026 -
-
akd Public
Forked from facebook/akdAn implementation of an auditable key directory
Rust Apache License 2.0 UpdatedFeb 2, 2026 -
-
poly-commit Public
Forked from arkworks-rs/poly-commitA Rust library for polynomial commitments
Rust Apache License 2.0 UpdatedDec 2, 2024
{{ message }}