0xpantera - Overview

Franco 0xpantera

Tricks with polynomials and Riemann-Roch spaces. Breaking into the platonic realm to pillage forbidden abstractions.

Compiler for a subset of C written in Haskell

Haskell 3
Forked from starkware-libs/cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.

Rust
Groth16 zkSNARK implementation in Julia - modular zero-knowledge proof system built from scratch for learning and research. Prove everything, reveal nothing.

Julia 15 1
A developer-friendly CLI wrapper for Noir ZK development that consolidates nargo and bb workflows into a single, opinionated tool.

Rust 7