issues
search
Orbis-Tertius
/
haskell-fri-proofs
WIP: FRI-based ZKPs in Haskell
Apache License 2.0
3
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Incremental verification
#27
faezs
closed
1 year ago
0
Incremental verification
#26
faezs
closed
1 year ago
0
Use a Merkle hash tree to generate hashes of transcript prefixes
#25
morganthomas
opened
1 year ago
0
Use a larger domain for random seeds (not field sized)
#24
morganthomas
opened
1 year ago
0
Use a single commitment for codewords of all rounds
#23
morganthomas
opened
1 year ago
0
integerToScalar
#22
morganthomas
closed
1 year ago
0
1/2
#21
morganthomas
closed
1 year ago
0
Fri IOP
#20
morganthomas
closed
1 year ago
0
Lint
#19
morganthomas
closed
1 year ago
0
Switch to horizon-orbis
#18
locallycompact
closed
1 year ago
2
Batched FRI
#17
morganthomas
opened
1 year ago
0
Almost complete Goldilocks implementation
#16
L-as
closed
1 year ago
0
Write polynomial property tests
#15
locallycompact
opened
1 year ago
0
Sigma11
#14
locallycompact
closed
1 year ago
0
Incremental verifying
#13
morganthomas
opened
2 years ago
0
Issue/7 - Merkle caps
#12
morganthomas
closed
2 years ago
0
Consider using a larger branching factor in the Merkle trees for more succinct auth paths
#11
morganthomas
opened
2 years ago
1
Deal with Extension Fields
#10
faezs
opened
2 years ago
0
Allow early stopping
#9
morganthomas
opened
2 years ago
0
Allow larger reduction steps
#8
morganthomas
opened
2 years ago
0
Add Merkle cap support
#7
morganthomas
opened
2 years ago
0
Perform a cryptographic audit
#6
morganthomas
opened
2 years ago
0
Add a FRI-PCS Halo 2 verifier
#5
morganthomas
opened
2 years ago
0
aarch64-linux support build and cache
#4
faezs
closed
2 years ago
1
Issue/1 FRI property tests
#3
morganthomas
closed
2 years ago
0
Add polynomial commitment scheme
#2
morganthomas
opened
2 years ago
1
Add property tests
#1
morganthomas
opened
2 years ago
0