dmpierre
Follow
-
pse.dev Public
Forked from privacy-scaling-explorations/pse.devThe PSE website
TypeScript UpdatedFeb 27, 2025 -
whir Public
Forked from WizardOfMenlo/whirWHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification
-
crypto-primitives Public
Forked from arkworks-rs/crypto-primitivesInterfaces and implementations of cryptographic primitives, along with R1CS constraints for them
Rust Apache License 2.0 UpdatedNov 28, 2024 -
-
lib-keccak Public
Forked from ethereum-optimism/lib-keccakKeccak-f[1600] permutation in the EVM
Solidity MIT License UpdatedOct 3, 2024 -
-
ark-superspartan Public
An arkworks implementation of the superspartan PIOP
-
nimue Public
Forked from arkworks-rs/nimueFiat-Shamir for the masses.
Rust BSD 3-Clause "New" or "Revised" License UpdatedSep 9, 2024 -
arkworks_backend Public
Forked from noir-lang/arkworks_backend -
sonobe Public
Forked from privacy-scaling-explorations/sonobeExperimental folding schemes library
Rust MIT License UpdatedAug 22, 2024 -
circom-compat Public
Forked from arnaucube/circom-compatArkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
Rust Apache License 2.0 UpdatedAug 22, 2024 -
awesome-noir Public
Forked from noir-lang/awesome-noirA curated list of awesome things related to learning and programming in Noir.
Creative Commons Zero v1.0 Universal UpdatedAug 6, 2024 -
-
noname Public
Forked from zksecurity/nonameNoname: a programming language to write zkapps
Rust UpdatedJul 4, 2024 -
-
keccak-chain-sonobe Public
Forked from arnaucube/hash-chain-sonobeRepo to test a more complex Circom circuit with Sonobe
Rust UpdatedMay 28, 2024 -
sonobe-btc Public
Using folding schemes for a provable bitcoin light client
-
-
ark-light-bitcoin-client Public
R1CS for verifying bitcoin pow using btc block headers and arkworks.
-
r1cs-std Public
Forked from winderica/r1cs-stdR1CS constraints for bits, fields, and elliptic curves
Rust Apache License 2.0 UpdatedApr 7, 2024 -
sha1-circom Public
Generate a zero-knowledge proof for a SHA1 pre-image.
-
poly-commit Public
Forked from arkworks-rs/poly-commitA Rust library for polynomial commitments
Rust Apache License 2.0 UpdatedJan 15, 2024 -
-
-
zkconnect4 Public
Prove your connect-4 games against an RL agent using Nova.
-
nova-browser-ecdsa Public
In-browser ECDSA aggregation using Nova over secp/secq
-
circom Public
Forked from iden3/circomzkSnark circuit compiler
WebAssembly GNU General Public License v3.0 UpdatedSep 1, 2023 -
Nova-Scotia Public
Forked from nalinbhardwaj/Nova-ScotiaMiddleware to compile Circom circuits to Nova prover
JavaScript MIT License UpdatedAug 26, 2023 -
Nova Public
Forked from microsoft/NovaNova: Recursive SNARKs without trusted setup
-
spartan-ecdsa Public
Forked from personaelabs/spartan-ecdsaThe fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
Rust UpdatedAug 7, 2023