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
•249•639•144•27•Updated Nov 14, 2024Nov 14, 2024
nimue
Public
Fiat-Shamir for the masses.
fiat-shamir zero-knowledge snark
Rust
•
BSD 3-Clause "New" or "Revised" License
•10•42•1•0•Updated Nov 11, 2024Nov 11, 2024
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
•88•177•37•8•Updated Nov 5, 2024Nov 5, 2024
poly-commit
Public
A Rust library for polynomial commitments
rust cryptography pairings polynomial-commitments sonic marlin
Rust
•
Apache License 2.0
•132•338•18•6•Updated Oct 29, 2024Oct 29, 2024
std
Public
A standard library wrapper for use in the `arkworks` ecosystem
standard-library arkworks rust
Rust
•
Apache License 2.0
•35•37•8•2•Updated Oct 29, 2024Oct 29, 2024
gm17
Public
A Rust library for the preprocessing zkSNARK of Groth and Maller
cryptography r1cs zksnark snark rust
Rust
•
Apache License 2.0
•5•9•0•10•Updated Oct 29, 2024Oct 29, 2024
circom-compat
Public
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
Rust
•
Apache License 2.0
•114•238•20•2•Updated Oct 28, 2024Oct 28, 2024
groth16
Public
A Rust implementation of the Groth16 zkSNARK
cryptography snark groth16 rust zksnark
Rust
•
Apache License 2.0
•101•253•8•5•Updated Oct 28, 2024Oct 28, 2024
r1cs-std
Public
R1CS constraints for bits, fields, and elliptic curves
cryptography r1cs snarks rust
Rust
•
Apache License 2.0
•59•140•21•11•Updated Oct 28, 2024Oct 28, 2024
snark
Public
Interfaces for Relations and SNARKs for these relations
cryptography zero-knowledge-proofs r1cs
Rust
•
Apache License 2.0
•212•794•29•6•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
•31•55•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
•4•20•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•41•3•4•Updated Jul 31, 2024Jul 31, 2024
spartan
Public
Spartan on Arkworks
Rust
•
MIT License
•121•38•0•2•Updated Jul 10, 2024Jul 10, 2024
r1cs-tutorial
Public
Tutorial for writing constraints in the `arkworks` framework
cryptography rollup r1cs rust
Rust
•
Apache License 2.0
•78•209•2•1•Updated Jun 21, 2024Jun 21, 2024
arkworks-rs.github.io
Public
SCSS
•
MIT License
•0•1•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
•85•315•7•6•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
•11•76•4•2•Updated Dec 21, 2023Dec 21, 2023
curves
Public archive
Implementations of popular elliptic curves
rust pairings elliptic-curves
Rust
•
Apache License 2.0
•103•303•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
•8•21•4•13•Updated Jan 24, 2023Jan 24, 2023
bcs
Public
Rust
•
Apache License 2.0
•3•8•3•1•Updated Nov 11, 2022Nov 11, 2022
pcd
Public
Implementations of proof-carrying data
rust cryptography snark ivc proof-carrying-data
Rust
•10•30•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
•5•18•3•2•Updated Jul 21, 2021Jul 21, 2021
ivls
Public
Implementation of incrementally verifiable ledger system
rust cryptography blockchain ledger snark
Rust
•
Apache License 2.0
•4•16•2•0•Updated Mar 24, 2021Mar 24, 2021