issues
search
privacy-scaling-explorations
/
Nova
Nova: Recursive SNARKs without trusted setup
MIT License
43
stars
8
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Chore/sync upstream
#51
oskarth
closed
1 year ago
0
Complete folding steps in the impl
#50
CPerezz
opened
1 year ago
2
Tight CCS description to NIMFS transcript
#49
CPerezz
opened
1 year ago
0
Remove witness from CCCS & LCCCS instances
#48
CPerezz
closed
1 year ago
0
Consider modifying EqPolynomial `new` to force clone
#47
oskarth
opened
1 year ago
0
Separate instance & witness in NIMFS returned parameters
#46
arnaucube
closed
1 year ago
0
Add documentation for NIMFS usage as doc comments
#45
CPerezz
opened
1 year ago
0
Fix the usage of `r_w` across the crate.
#44
CPerezz
opened
1 year ago
0
Transcript usage inclusion into the codebase
#43
CPerezz
closed
1 year ago
1
Use polynomial.rs instead of virtual_poly for equality polynomial
#42
oskarth
closed
1 year ago
5
NIMFS-centric API refactor for multifolding impl
#41
CPerezz
closed
1 year ago
7
refactor: Make tests generic w.r.t. curve/group
#40
oskarth
closed
1 year ago
3
refactor(virtual_poly): Remove unnecessary default from PhantomData
#39
oskarth
closed
1 year ago
0
Update bit_decompose def:
#38
arnaucube
closed
1 year ago
0
Extend Multifolding impl to support Multiple CCCS & LCCCS instances at each fold
#37
CPerezz
opened
1 year ago
1
fix: Address all Clippy suggestions/lints
#36
CPerezz
closed
1 year ago
0
Fix all clippy lints in `main`
#35
CPerezz
closed
1 year ago
0
[HyperNova] Make tests generic w.r.t. curve and field
#34
oskarth
closed
1 year ago
2
refactor(utils): SparseMatrix taking F instead of G
#33
oskarth
closed
1 year ago
1
update src/utils.rs methods to work on F instead of on G
#32
arnaucube
closed
1 year ago
0
test(utils): Make generic over PrimeField
#31
oskarth
closed
1 year ago
0
[HyperNova] Fix number of public inputs/outputs even requirement
#30
oskarth
opened
1 year ago
1
Chore/update
#29
oskarth
closed
1 year ago
0
Sumcheck circuit
#28
arnaucube
opened
1 year ago
2
Implement Transcript bellperson gadget
#27
arnaucube
opened
1 year ago
0
[HyperNova] Implement Plonkish -> CCS translation on the codebase.
#26
CPerezz
opened
1 year ago
0
[HyperNova] Implement Sumcheck-verifier circuit with bellperson
#25
CPerezz
opened
1 year ago
0
[HyperNova] Add `Transcript` usage across the multifolding implementation
#24
CPerezz
closed
1 year ago
2
[HyperNova] Witness randomness `r_w` is not handled anywhere
#23
CPerezz
opened
1 year ago
0
[HyperNova] Rework the API to be NIMFS-centric
#22
CPerezz
closed
1 year ago
1
[HyperNova] Use Sparse Polynomial & MLE reprs
#21
CPerezz
opened
1 year ago
0
[HyperNova] Adapt HyperCube & other structs to match the endianness of `evaluate` & `bound_poly_var_top`
#20
CPerezz
opened
1 year ago
1
[HyperNova] Update Eq poly usage to actually use `EqPolynomial` struct
#19
CPerezz
closed
1 year ago
1
Chore/update upstream
#18
oskarth
closed
1 year ago
0
Update HyperNova branch with Multifolding docs
#17
CPerezz
closed
1 year ago
0
add documentation & tests
#16
wangtsiao
closed
1 year ago
4
Hypernova first cut
#15
oskarth
closed
1 year ago
1
First cut of CCS
#14
oskarth
closed
1 year ago
1
HyperNova PoC
#13
oskarth
opened
1 year ago
2
ParaNova PoC
#12
oskarth
opened
1 year ago
0
Parallel Nova PoC
#11
oskarth
opened
1 year ago
0
[WIP] Add 3-to-1 folding prover and verifier
#10
asn-d6
opened
1 year ago
0
ParaNova: Add a test of node merging speed for parallel IVC
#9
aleph-v
opened
1 year ago
0
Fixes many bugs
#8
aleph-v
closed
1 year ago
0
Add dummy test for parallel prover
#7
chiro-hiro
closed
1 year ago
0
Fix namespace of the witness
#6
chiro-hiro
closed
1 year ago
0
Fixes a bug with the tests
#5
aleph-v
closed
1 year ago
0
Finish the prover merge code
#4
aleph-v
closed
1 year ago
0
Add parallel prover with tree construction
#3
chiro-hiro
closed
1 year ago
0
R1CS folding verification
#2
aleph-v
closed
1 year ago
0
Next