arkworks

All

28 repositories

snark
Public
Interfaces for Relations and SNARKs for these relations
cryptography zero-knowledge-proofs r1cs
Rust
•
Apache License 2.0
•241•874•28•3•Updated Jul 28, 2025Jul 28, 2025
algebra
Public
Libraries for finite field, elliptic curve, and polynomial arithmetic
polynomials finite-fields elliptic-curves pairings rust cryptography
Rust
•
Apache License 2.0
•324•761•152•28•Updated Jul 28, 2025Jul 28, 2025
r1cs-std
Public
R1CS constraints for bits, fields, and elliptic curves
cryptography r1cs snarks rust
Rust
•
Apache License 2.0
•87•175•20•12•Updated Jul 21, 2025Jul 21, 2025
crypto-primitives
Public
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
cryptography hash-functions signatures r1cs snark rust
Rust
•
Apache License 2.0
•105•220•37•5•Updated Jul 21, 2025Jul 21, 2025
spongefish
Public
Fiat-Shamir for the masses.
fiat-shamir zero-knowledge snark
Rust
•
BSD 3-Clause "New" or "Revised" License
•28•73•4•2•Updated Jul 20, 2025Jul 20, 2025
std
Public
A standard library wrapper for use in the `arkworks` ecosystem
standard-library arkworks rust
Rust
•
Apache License 2.0
•42•39•9•6•Updated Mar 29, 2025Mar 29, 2025
groth16
Public
A Rust implementation of the Groth16 zkSNARK
cryptography snark groth16 rust zksnark
Rust
•
Apache License 2.0
•130•298•10•7•Updated Mar 20, 2025Mar 20, 2025
circom-compat
Public
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
Rust
•
Apache License 2.0
•130•271•18•5•Updated Feb 25, 2025Feb 25, 2025
spartan
Public
Spartan on Arkworks
Rust
•
MIT License
•140•42•0•2•Updated Dec 12, 2024Dec 12, 2024
poly-commit
Public
A Rust library for polynomial commitments
rust cryptography pairings polynomial-commitments sonic marlin
Rust
•
Apache License 2.0
•150•393•19•9•Updated Dec 2, 2024Dec 2, 2024
gm17
Public
A Rust library for the preprocessing zkSNARK of Groth and Maller
cryptography r1cs zksnark snark rust
Rust
•
Apache License 2.0
•7•11•0•11•Updated Oct 29, 2024Oct 29, 2024
sumcheck
Public
linear-time sumcheck protocol for multilinear polynomials and related addends
rust cryptography sumcheck
Rust
•
Apache License 2.0
•37•77•4•4•Updated Oct 2, 2024Oct 2, 2024
ldt
Public
An `arkworks` library for low-degree testing
rust cryptography fast-fourier-transform low-degree-testing
Rust
•
Apache License 2.0
•4•23•1•1•Updated Sep 10, 2024Sep 10, 2024
ripp
Public
Argument systems for inner pairing products
cryptography bulletproofs zksnarks rust
Rust
•
Apache License 2.0
•16•42•3•4•Updated Jul 31, 2024Jul 31, 2024
r1cs-tutorial
Public
Tutorial for writing constraints in the `arkworks` framework
cryptography rollup r1cs rust
Rust
•
Apache License 2.0
•89•245•2•3•Updated Jun 21, 2024Jun 21, 2024
arkworks-rs.github.io
Public
SCSS
•
MIT License
•0•0•1•0•Updated Feb 4, 2024Feb 4, 2024
marlin
Public
A Rust library for the Marlin preprocessing zkSNARK
rust cryptography r1cs marlin zksnark
Rust
•
Apache License 2.0
•88•323•7•7•Updated Jan 18, 2024Jan 18, 2024
.github
Public
1•0•0•0•Updated Jan 3, 2024Jan 3, 2024
gemini
Public
An elastic proof system based on arkworks
Rust
•
MIT License
•14•84•4•1•Updated Dec 21, 2023Dec 21, 2023
curves
Public archive
Implementations of popular elliptic curves
rust pairings elliptic-curves
Rust
•
Apache License 2.0
•103•307•0•0•Updated Dec 18, 2023Dec 18, 2023
sponge
Public archive
This library is archived; see crypto-primities for the latest version of this code
sponge poseidon rust cryptography
Rust
•
Apache License 2.0
•16•23•0•3•Updated Feb 15, 2023Feb 15, 2023
accumulation
Public
Rust library for accumulation schemes
cryptography elliptic-curves proof-carrying-data accumulation-schemes
Rust
•
Apache License 2.0
•13•23•4•16•Updated Jan 24, 2023Jan 24, 2023
bcs
Public
Rust
•
Apache License 2.0
•9•11•3•6•Updated Nov 11, 2022Nov 11, 2022
pcd
Public
Implementations of proof-carrying data
rust cryptography snark ivc proof-carrying-data
Rust
•10•35•3•2•Updated Jun 5, 2022Jun 5, 2022
template
Public template
github workflow templates
template-repository
Python
•
Apache License 2.0
•1•5•1•2•Updated Aug 26, 2021Aug 26, 2021
nonnative
Public archive
R1CS constraints for non-native field arithmetic
rust arithmetic-computation cryptographic-proofs
Rust
•11•21•2•0•Updated Aug 7, 2021Aug 7, 2021
dpc
Public
A library for decentralized private computation
blockchain snark zksnarks rust cryptography
Rust
•
Apache License 2.0
•11•19•3•7•Updated Jul 21, 2021Jul 21, 2021
ivls
Public
Implementation of incrementally verifiable ledger system
rust cryptography blockchain ledger snark
Rust
•
Apache License 2.0
•6•18•2•0•Updated Mar 24, 2021Mar 24, 2021