microsoft Nova issues - Githubissues

microsoft / Nova

Nova: High-speed recursive arguments from folding schemes

MIT License

671 stars 176 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Optimize polynomial batching computation

#325 moodlezoup closed 3 days ago
1
update version and fix clippy

#324 srinathsetty closed 5 days ago
0
chore: fix some comments

#323 dropbigfish opened 2 weeks ago
2
[question] Where to find the example for matrix multiplication recursive snark

#322 123123davejohn closed 3 days ago
2
avoid calls to pp.digest in prove methods

#320 srinathsetty closed 1 month ago
0
Solidity Verfier

#319 Ayoub-47 closed 3 days ago
3
Compilation on 32-bit architectures

#318 pgrinaway closed 3 days ago
2
Improve sparse polynomial evaluation algorithm

#317 srinathsetty closed 2 months ago
0
feat: Refactor R1CS shape to split the commitment key generation

#315 huitseeker opened 3 months ago
0
cleanup unused visibility modifiers

#314 srinathsetty closed 3 months ago
0
update benchmark

#313 srinathsetty closed 4 months ago
0
Write and Read KZG setup parameters

#312 ekrembal opened 4 months ago
2
add a hashchain example

#311 srinathsetty closed 4 months ago
0
Does Nova support local statements (public inputs) to step function F?

#310 featherin closed 4 months ago
5
Improvements to error handling and naming

#309 srinathsetty closed 4 months ago
0
Miscellaneous improvements (details in commit messages)

#308 srinathsetty closed 4 months ago
0
support serialize and deserialize for engines

#307 RyanKung closed 4 months ago
4
feat: make r1cs compoents public

#306 RyanKung closed 4 months ago
5
feat: make r1cs components public

#305 RyanKung closed 4 months ago
0
chore: fixed clippy warning

#304 RyanKung closed 4 months ago
9
update README; update version

#303 srinathsetty closed 5 months ago
0
add a bench for ppsnark

#302 srinathsetty closed 5 months ago
0
Zeromorph and HyperKZG improvement (Arecibo backports)

#301 huitseeker opened 5 months ago
6
Optimizations to KZG commitment scheme

#300 srinathsetty closed 5 months ago
0
Rename mlkzg and remove redundant transcript absorbs

#299 srinathsetty closed 5 months ago
0
Use expect_test for tests in src/circuit.rs and elsewhere

#298 srinathsetty opened 5 months ago
0
upgrade halo2curves to 0.6.0 + changes to tests and benches

#297 srinathsetty closed 5 months ago
0
How does Nova constrain prev output and next input?

#296 ClankPan closed 5 months ago
1
move fold step from CompressedSNARK to RecursiveSNARK

#295 srinathsetty closed 4 months ago
1
relax requirements on the size of public IO and add a note about NIFS

#294 srinathsetty closed 5 months ago
0
refactor: Improve Spartan SNARK polynomial computations and evaluations

#293 huitseeker closed 5 months ago
0
refactor: Integrate zip_with macro (Arecibo backport)

#292 huitseeker closed 5 months ago
0
Remove absorbing of running instance

#291 varunthakore closed 5 months ago
1
Fix typos

#290 GoodDaisy closed 5 months ago
1
add bitwise AND example

#289 srinathsetty closed 5 months ago
0
upgrade halo2curves to 0.5.0; shed local MSM code

#288 srinathsetty closed 5 months ago
0
chore: Remove redundant absorption to the transcript

#287 storojs72 closed 5 months ago
3
Improve error handling

#286 jbearer closed 6 months ago
1
Expose the last outputs and number of steps from RecursiveSNARK

#285 jbearer closed 6 months ago
0
Remove redundant absorbing to the transcript

#284 storojs72 closed 5 months ago
1
feat: implement SuperNova

#283 huitseeker opened 6 months ago
4
fix: Improve benchmarks quality (Arecibo backport)

#282 huitseeker closed 6 months ago
0
test: multilinear polynomial evaluation endianness (Arecibo backport)

#281 huitseeker closed 6 months ago
0
add detailed contribution guidelines to readme

#280 srinathsetty closed 6 months ago
0
error: could not compile `nova-snark` (lib test) due to previous error

#279 liqi16 closed 6 months ago
3
Nit: Simplified Vector Initialization

#278 Jun-Hee-Lee closed 6 months ago
0
Streamline Nova allocations (Arecibo backport)

#277 huitseeker opened 6 months ago
7
update readme

#276 srinathsetty closed 6 months ago
0
Middleware to load Noir's ACIR into R1CS supported by Nova

#275 srinathsetty opened 6 months ago
0
fix computation of eval_Z, by querying W at the shortened vector

#274 srinathsetty closed 7 months ago
0