arkworks

All

28 repositories

algebra
Public
Libraries for finite field, elliptic curve, and polynomial arithmetic
polynomials finite-fields elliptic-curves pairings rust cryptography
Rust
•
Apache License 2.0
•281•691•152•44•Updated Feb 27, 2025Feb 27, 2025
circom-compat
Public
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
Rust
•
Apache License 2.0
•123•250•18•4•Updated Feb 25, 2025Feb 25, 2025
std
Public
A standard library wrapper for use in the `arkworks` ecosystem
standard-library arkworks rust
Rust
•
Apache License 2.0
•37•38•8•3•Updated Feb 7, 2025Feb 7, 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
•95•198•37•9•Updated Feb 7, 2025Feb 7, 2025
nimue
Public
Fiat-Shamir for the masses.
fiat-shamir zero-knowledge snark
Rust
•
BSD 3-Clause "New" or "Revised" License
•17•52•2•1•Updated Feb 7, 2025Feb 7, 2025
r1cs-std
Public
R1CS constraints for bits, fields, and elliptic curves
cryptography r1cs snarks rust
Rust
•
Apache License 2.0
•67•148•21•14•Updated Feb 7, 2025Feb 7, 2025
snark
Public
Interfaces for Relations and SNARKs for these relations
cryptography zero-knowledge-proofs r1cs
Rust
•
Apache License 2.0
•224•822•29•9•Updated Feb 4, 2025Feb 4, 2025
spartan
Public
Spartan on Arkworks
Rust
•
MIT License
•127•40•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
•137•369•17•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
•6•10•0•11•Updated Oct 29, 2024Oct 29, 2024
groth16
Public
A Rust implementation of the Groth16 zkSNARK
cryptography snark groth16 rust zksnark
Rust
•
Apache License 2.0
•113•273•9•7•Updated Oct 28, 2024Oct 28, 2024
sumcheck
Public
linear-time sumcheck protocol for multilinear polynomials and related addends
rust cryptography sumcheck
Rust
•
Apache License 2.0
•32•63•4•2•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
•5•21•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
•17•41•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
•86•225•2•1•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
•89•320•7•9•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•81•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
•104•305•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
•15•22•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
•12•23•4•15•Updated Jan 24, 2023Jan 24, 2023
bcs
Public
Rust
•
Apache License 2.0
•9•10•3•5•Updated Nov 11, 2022Nov 11, 2022
pcd
Public
Implementations of proof-carrying data
rust cryptography snark ivc proof-carrying-data
Rust
•12•33•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•20•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
•9•19•3•5•Updated Jul 21, 2021Jul 21, 2021
ivls
Public
Implementation of incrementally verifiable ledger system
rust cryptography blockchain ledger snark
Rust
•
Apache License 2.0
•5•17•2•0•Updated Mar 24, 2021Mar 24, 2021