Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / sdiehl / arithmetic-circuits

Arithmetic circuits for zero knowledge proof systems

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sdiehl%2Farithmetic-circuits

Stars: 79
Forks: 13
Open Issues: 1

License: mit
Language: Haskell
Repo Size: 328 KB
Dependencies: 60

Created: over 4 years ago
Updated: 3 months ago
Last pushed: about 4 years ago
Last synced: 3 months ago

Topics: arithmetic-circuit, compiler, qap, zero-knowledge, zk-snarks, zksnarks

Files

Readme

Dependencies

arithmetic-circuits.cabal hackage

MonadRandom >=0.5.1 && <0.6 benchmark
aeson ==1.4.* benchmark
arithmetic-circuits * benchmark
base >=4.10 && <5 benchmark
bulletproofs >=1.1.0 && <1.2 benchmark
containers >=0.6.0 && <0.7 benchmark
criterion ==1.5.* benchmark
elliptic-curve ==0.3.* benchmark
filepath >=1.4.2 && <1.5 benchmark
galois-fft >=0.1.0 && <0.2 benchmark
galois-field >=1.0.2 && <2.0.0 benchmark
pairing ==1.0.* benchmark
poly >=0.3.2 && <0.5 benchmark
process-extras >=0.7.4 && <0.8 benchmark
protolude >=0.2 && <0.4 benchmark
semirings >=0.5.2 && <0.6 benchmark
text >=1.2.3 && <1.3 benchmark
vector ==0.12.* benchmark
wl-pprint-text >=1.2.0 && <1.3 benchmark
MonadRandom >=0.5.1 && <0.6
aeson ==1.4.*
base >=4.10 && <5
bulletproofs >=1.1.0 && <1.2
containers >=0.6.0 && <0.7
elliptic-curve ==0.3.*
filepath >=1.4.2 && <1.5
galois-fft >=0.1.0 && <0.2
galois-field >=1.0.2 && <2.0.0
poly >=0.3.2 && <0.5
process-extras >=0.7.4 && <0.8
protolude >=0.2 && <0.4
semirings >=0.5.2 && <0.6
text >=1.2.3 && <1.3
vector ==0.12.*
wl-pprint-text >=1.2.0 && <1.3
MonadRandom >=0.5.1 && <0.6 test
QuickCheck >=2.12 && <2.14 test
aeson ==1.4.* test
arithmetic-circuits * test
base >=4.10 && <5 test
bulletproofs >=1.1.0 && <1.2 test
containers >=0.6.0 && <0.7 test
elliptic-curve ==0.3.* test
filepath >=1.4.2 && <1.5 test
galois-fft >=0.1.0 && <0.2 test
galois-field >=1.0.2 && <2.0.0 test
markdown-unlit ==0.5.* test
pairing ==1.0.* test
poly >=0.3.2 && <0.5 test
process-extras >=0.7.4 && <0.8 test
protolude >=0.2 && <0.4 test
quickcheck-instances ==0.3.* test
semirings >=0.5.2 && <0.6 test
tasty ==1.2.* test
tasty-discover ==4.2.* test
tasty-hunit ==0.10.* test
tasty-quickcheck ==0.10.* test
text >=1.2.3 && <1.3 test
vector ==0.12.* test
wl-pprint-text >=1.2.0 && <1.3 test