Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / microsoft/Nova issues and pull requests

#335 - Compiling Error on cargo build nova-snark 0.37.0

Issue - State: open - Opened by wanglu4042 21 days ago - 1 comment

#334 - chore: fix typo in comment

Pull Request - State: open - Opened by wangjingcun 25 days ago

#333 - Upgrade CS

Pull Request - State: open - Opened by Forpee 26 days ago - 3 comments

#332 - Implement CycleFold for Nova

Issue - State: open - Opened by Forpee 27 days ago

#331 - Upgrade the constraint system module

Issue - State: open - Opened by srinathsetty about 1 month ago - 1 comment

#330 - Zero Knowledge Fold for Nova IVC from HyperNova

Pull Request - State: closed - Opened by jkwoods 2 months ago - 10 comments

#329 - docs fix spelling issues

Pull Request - State: closed - Opened by nnsW3 3 months ago - 1 comment

#328 - optimize cross-term computation

Pull Request - State: closed - Opened by srinathsetty 3 months ago

#327 - An example of using nova to implement rollup?

Issue - State: closed - Opened by Jasun0925 5 months ago

#326 - avoid explicit compression/decompression

Pull Request - State: closed - Opened by srinathsetty 5 months ago

#325 - Optimize polynomial batching computation

Pull Request - State: closed - Opened by moodlezoup 5 months ago - 1 comment

#324 - update version and fix clippy

Pull Request - State: closed - Opened by srinathsetty 5 months ago

#323 - chore: fix some comments

Pull Request - State: closed - Opened by dropbigfish 6 months ago - 3 comments

#320 - avoid calls to pp.digest in prove methods

Pull Request - State: closed - Opened by srinathsetty 7 months ago

#319 - Solidity Verfier

Issue - State: closed - Opened by Ayoub-47 7 months ago - 3 comments

#318 - Compilation on 32-bit architectures

Issue - State: closed - Opened by pgrinaway 8 months ago - 2 comments

#317 - Improve sparse polynomial evaluation algorithm

Pull Request - State: closed - Opened by srinathsetty 8 months ago

#315 - feat: Refactor R1CS shape to split the commitment key generation

Pull Request - State: closed - Opened by huitseeker 9 months ago - 1 comment

#314 - cleanup unused visibility modifiers

Pull Request - State: closed - Opened by srinathsetty 9 months ago

#313 - update benchmark

Pull Request - State: closed - Opened by srinathsetty 9 months ago

#312 - Write and Read KZG setup parameters

Pull Request - State: closed - Opened by ekrembal 9 months ago - 2 comments

#311 - add a hashchain example

Pull Request - State: closed - Opened by srinathsetty 10 months ago

#310 - Does Nova support local statements (public inputs) to step function F?

Issue - State: closed - Opened by featherin 10 months ago - 5 comments

#309 - Improvements to error handling and naming

Pull Request - State: closed - Opened by srinathsetty 10 months ago

#308 - Miscellaneous improvements (details in commit messages)

Pull Request - State: closed - Opened by srinathsetty 10 months ago

#307 - support serialize and deserialize for engines

Pull Request - State: closed - Opened by RyanKung 10 months ago - 4 comments

#306 - feat: make r1cs compoents public

Pull Request - State: closed - Opened by RyanKung 10 months ago - 5 comments

#305 - feat: make r1cs components public

Pull Request - State: closed - Opened by RyanKung 10 months ago

#304 - chore: fixed clippy warning

Pull Request - State: closed - Opened by RyanKung 10 months ago - 9 comments

#303 - update README; update version

Pull Request - State: closed - Opened by srinathsetty 10 months ago

#302 - add a bench for ppsnark

Pull Request - State: closed - Opened by srinathsetty 10 months ago

#301 - Zeromorph and HyperKZG improvement (Arecibo backports)

Pull Request - State: open - Opened by huitseeker 10 months ago - 6 comments

#300 - Optimizations to KZG commitment scheme

Pull Request - State: closed - Opened by srinathsetty 10 months ago

#299 - Rename mlkzg and remove redundant transcript absorbs

Pull Request - State: closed - Opened by srinathsetty 10 months ago

#298 - Use expect_test for tests in src/circuit.rs and elsewhere

Issue - State: closed - Opened by srinathsetty 10 months ago
Labels: enhancement, good first issue, help wanted

#297 - upgrade halo2curves to 0.6.0 + changes to tests and benches

Pull Request - State: closed - Opened by srinathsetty 10 months ago

#296 - How does Nova constrain prev output and next input?

Issue - State: closed - Opened by ClankPan 11 months ago - 1 comment

#295 - move fold step from CompressedSNARK to RecursiveSNARK

Pull Request - State: closed - Opened by srinathsetty 11 months ago - 1 comment

#292 - refactor: Integrate zip_with macro (Arecibo backport)

Pull Request - State: closed - Opened by huitseeker 11 months ago

#291 - Remove absorbing of running instance

Pull Request - State: closed - Opened by varunthakore 11 months ago - 1 comment

#290 - Fix typos

Pull Request - State: closed - Opened by GoodDaisy 11 months ago - 1 comment

#289 - add bitwise AND example

Pull Request - State: closed - Opened by srinathsetty 11 months ago

#288 - upgrade halo2curves to 0.5.0; shed local MSM code

Pull Request - State: closed - Opened by srinathsetty 11 months ago

#287 - chore: Remove redundant absorption to the transcript

Pull Request - State: closed - Opened by storojs72 11 months ago - 3 comments

#286 - Improve error handling

Pull Request - State: closed - Opened by jbearer 11 months ago - 1 comment

#285 - Expose the last outputs and number of steps from RecursiveSNARK

Pull Request - State: closed - Opened by jbearer 11 months ago

#284 - Remove redundant absorbing to the transcript

Issue - State: closed - Opened by storojs72 12 months ago - 1 comment

#283 - feat: implement SuperNova

Pull Request - State: open - Opened by huitseeker 12 months ago - 4 comments

#282 - fix: Improve benchmarks quality (Arecibo backport)

Pull Request - State: closed - Opened by huitseeker 12 months ago

#280 - add detailed contribution guidelines to readme

Pull Request - State: closed - Opened by srinathsetty 12 months ago

#279 - error: could not compile `nova-snark` (lib test) due to previous error

Issue - State: closed - Opened by liqi16 12 months ago - 4 comments

#278 - Nit: Simplified Vector Initialization

Pull Request - State: closed - Opened by Jun-Hee-Lee 12 months ago

#277 - Streamline Nova allocations (Arecibo backport)

Pull Request - State: closed - Opened by huitseeker 12 months ago - 8 comments

#276 - update readme

Pull Request - State: closed - Opened by srinathsetty 12 months ago

#275 - Middleware to load Noir's ACIR into R1CS supported by Nova

Issue - State: closed - Opened by srinathsetty 12 months ago - 2 comments
Labels: enhancement, help wanted

#274 - fix computation of eval_Z, by querying W at the shortened vector

Pull Request - State: closed - Opened by srinathsetty about 1 year ago

#272 - make Minroot example generic over the supported curve cycles

Pull Request - State: closed - Opened by srinathsetty about 1 year ago

#271 - Re-export Field/Point types used in curve cycle implementations

Issue - State: open - Opened by huitseeker about 1 year ago - 8 comments

#270 - Load existing KZG setup parameters

Issue - State: open - Opened by srinathsetty about 1 year ago
Labels: help wanted

#269 - Support for multilinear KZG commitments

Pull Request - State: closed - Opened by srinathsetty about 1 year ago

#268 - Improve the interface of RecursiveSnark

Pull Request - State: closed - Opened by ashWhiteHat about 1 year ago - 1 comment

#267 - reorganize the provider module

Pull Request - State: closed - Opened by srinathsetty about 1 year ago

#266 - reorganize provider module

Pull Request - State: closed - Opened by srinathsetty about 1 year ago - 1 comment

#264 - Small improvement to the minroot example

Pull Request - State: closed - Opened by field-worker about 1 year ago

#262 - expose size of the base field

Pull Request - State: closed - Opened by srinathsetty about 1 year ago

#261 - Cut duplicate code

Pull Request - State: closed - Opened by srinathsetty about 1 year ago

#259 - Simplify Group trait

Pull Request - State: closed - Opened by srinathsetty about 1 year ago

#258 - Introduce checks about AllocatedPoint

Pull Request - State: closed - Opened by srinathsetty about 1 year ago

#257 - Fix nits

Pull Request - State: closed - Opened by srinathsetty about 1 year ago

#256 - Update Neptune & simplify SatisfyingAssignment (Arecibo backport)

Pull Request - State: closed - Opened by huitseeker about 1 year ago

#255 - Reduce duplicate code across different curve cycle providers

Pull Request - State: closed - Opened by ashWhiteHat about 1 year ago - 3 comments

#254 - test: msm test and refactoring

Pull Request - State: closed - Opened by ashWhiteHat about 1 year ago

#253 - Use rayon for computing evaluations in prove_helper in parallel

Pull Request - State: closed - Opened by srinathsetty about 1 year ago

#252 - optimize ppsnark

Pull Request - State: closed - Opened by srinathsetty about 1 year ago

#251 - fix some typos

Pull Request - State: closed - Opened by xiaolou86 about 1 year ago - 5 comments

#250 - Optimize ppsnark

Pull Request - State: closed - Opened by srinathsetty about 1 year ago

#249 - Move to actual Group trait

Pull Request - State: closed - Opened by ashWhiteHat about 1 year ago - 3 comments

#248 - Reduce hashing costs with a power polynomial in ppsnark

Pull Request - State: closed - Opened by srinathsetty about 1 year ago

#247 - release 0.27.0

Pull Request - State: closed - Opened by srinathsetty about 1 year ago

#246 - Eliminate unnecessary wraps & use alloc_infallible

Pull Request - State: closed - Opened by huitseeker about 1 year ago

#245 - use rayon to compute in parallel

Pull Request - State: closed - Opened by srinathsetty about 1 year ago

#244 - chore: run github actions parallelly

Pull Request - State: closed - Opened by ashWhiteHat about 1 year ago - 2 comments

#243 - Expose verifier key's digest with a trait

Pull Request - State: closed - Opened by TheLitFire about 1 year ago - 1 comment

#242 - Restore digest computation and fix API inconsistency

Pull Request - State: closed - Opened by srinathsetty about 1 year ago - 1 comment

#241 - chore: Upgrade 'neptune' dependency to version 12.0.0

Pull Request - State: closed - Opened by huitseeker about 1 year ago

#240 - refactor r1cs::is_valid and provider::cpu_best_multiexp

Pull Request - State: closed - Opened by ashWhiteHat about 1 year ago

#239 - update crate versions

Pull Request - State: closed - Opened by srinathsetty about 1 year ago

#238 - Digest simplifications

Pull Request - State: closed - Opened by srinathsetty about 1 year ago - 4 comments

#236 - fix typos in comments

Pull Request - State: closed - Opened by shuoer86 about 1 year ago

#235 - refactor is_sat and modify comment

Pull Request - State: closed - Opened by ashWhiteHat about 1 year ago - 1 comment

#233 - refactor: remove clippy attributes

Pull Request - State: closed - Opened by bingcicle about 1 year ago - 2 comments