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
#132 - use serde feature to compute the digest of the shape
Pull Request -
State: closed - Opened by srinathsetty almost 2 years ago
#131 - Clippy formatting
Pull Request -
State: closed - Opened by samuelburnham almost 2 years ago
#130 - release version
Pull Request -
State: closed - Opened by srinathsetty almost 2 years ago
#129 - parallelize parameter generation
Pull Request -
State: closed - Opened by srinathsetty almost 2 years ago
#128 - making index for tracking progress optional
Pull Request -
State: closed - Opened by sga001 almost 2 years ago
#127 - NovaError doesn't implement std::error::Error
Issue -
State: closed - Opened by huitseeker almost 2 years ago
#126 - Speed up MSMs for non-GPU accelerated MSMs and architectures that don't support GPU/semolina
Pull Request -
State: closed - Opened by nalinbhardwaj almost 2 years ago
- 1 comment
#125 - Add Wasm support
Pull Request -
State: closed - Opened by samuelburnham almost 2 years ago
#124 - release version
Pull Request -
State: closed - Opened by srinathsetty almost 2 years ago
#123 - Add serde proof serialization
Pull Request -
State: closed - Opened by samuelburnham almost 2 years ago
- 3 comments
#122 - A simplified version of the nonnative gadgets
Pull Request -
State: closed - Opened by srinathsetty almost 2 years ago
#121 - New head
Pull Request -
State: closed - Opened by lyronctk almost 2 years ago
#120 - Do you have plan for SuperNova?
Issue -
State: closed - Opened by ChengYueJia almost 2 years ago
- 3 comments
#119 - Update crate versions
Pull Request -
State: closed - Opened by srinathsetty about 2 years ago
#118 - Compilation error: failed to select a version for the requirement `funty = "~1.2"`
Issue -
State: closed - Opened by vicsn about 2 years ago
- 1 comment
#117 - Delete outdated comment to avoid confusion
Pull Request -
State: closed - Opened by nalinbhardwaj about 2 years ago
- 2 comments
#116 - compiling to solidity/evm?
Issue -
State: open - Opened by sourdzl about 2 years ago
- 3 comments
#115 - Make Nova's ecc gadgets read curve parameters from the group trait
Pull Request -
State: closed - Opened by srinathsetty about 2 years ago
#114 - cleanup let _ =
Pull Request -
State: closed - Opened by srinathsetty about 2 years ago
#113 - Remove hard-coded constants about the curve equation in the circuit
Issue -
State: closed - Opened by srinathsetty about 2 years ago
#112 - update minroot.rs to match the description in the paper
Pull Request -
State: closed - Opened by srinathsetty over 2 years ago
#111 - update benches
Pull Request -
State: closed - Opened by srinathsetty over 2 years ago
#110 - optimize ECC ops
Pull Request -
State: closed - Opened by srinathsetty over 2 years ago
#109 - simplify signature gadget
Pull Request -
State: closed - Opened by srinathsetty over 2 years ago
#108 - update version
Pull Request -
State: closed - Opened by srinathsetty over 2 years ago
#107 - Support for arbitrary arity for step circuit's IO
Pull Request -
State: closed - Opened by srinathsetty over 2 years ago
#106 - optimize point add constraints
Pull Request -
State: closed - Opened by srinathsetty over 2 years ago
#105 - integrate with neptune's sponge
Pull Request -
State: closed - Opened by srinathsetty over 2 years ago
#104 - Update crate versions
Pull Request -
State: closed - Opened by srinathsetty over 2 years ago
#103 - pad two IPA instances to the same size when folding
Pull Request -
State: closed - Opened by srinathsetty over 2 years ago
#102 - optimize the non-native arithmetic and hashing costs by using 4 limbs instead of 8
Pull Request -
State: closed - Opened by srinathsetty over 2 years ago
#101 - optimize MinRoot constraint system
Pull Request -
State: closed - Opened by srinathsetty over 2 years ago
#100 - Optimizations
Pull Request -
State: closed - Opened by srinathsetty over 2 years ago
#99 - chain link proof example
Pull Request -
State: closed - Opened by arthurgreef over 2 years ago
- 1 comment
#98 - Simplifications in Nova's RO
Pull Request -
State: closed - Opened by srinathsetty over 2 years ago
#97 - Fix benches so it varies the number of constraints in the augmented circuit in powers of 2
Pull Request -
State: closed - Opened by srinathsetty over 2 years ago
#96 - key generation proof
Pull Request -
State: closed - Opened by arthurgreef over 2 years ago
- 1 comment
#95 - Fix bench name
Pull Request -
State: closed - Opened by srinathsetty over 2 years ago
#94 - update benches
Pull Request -
State: closed - Opened by srinathsetty over 2 years ago
#93 - name changes for improved clarity
Pull Request -
State: closed - Opened by srinathsetty over 2 years ago
#92 - ecdsa signature proof
Pull Request -
State: closed - Opened by arthurgreef over 2 years ago
#91 - Refactor traits a bit and cut duplicate code
Pull Request -
State: closed - Opened by srinathsetty over 2 years ago
#90 - edits to address clippy with the latest Rust
Pull Request -
State: closed - Opened by srinathsetty over 2 years ago
#89 - update to the latest pasta-msm crate
Pull Request -
State: closed - Opened by srinathsetty over 2 years ago
#88 - MinRoot example improvements
Pull Request -
State: closed - Opened by srinathsetty over 2 years ago
#87 - ecdsa signature snark
Pull Request -
State: closed - Opened by arthurgreef over 2 years ago
- 2 comments
#86 - Nova-based VDF using MinRoot as an example
Pull Request -
State: closed - Opened by srinathsetty over 2 years ago
#85 - Support non-determinism with a minimal API
Pull Request -
State: closed - Opened by srinathsetty over 2 years ago
#84 - Abstract the RO used in the circuit with traits
Pull Request -
State: closed - Opened by srinathsetty over 2 years ago
#83 - Add asserts for constraint count
Pull Request -
State: closed - Opened by srinathsetty over 2 years ago
#82 - Release Candidate
Pull Request -
State: closed - Opened by srinathsetty over 2 years ago
#81 - Measure proof size for benches. Modify benches to vary number of constraints in step circuit
Pull Request -
State: closed - Opened by iontzialla over 2 years ago
#80 - Spartan variant with an IPA-based polynomial commitment scheme for compressing IVC proofs
Pull Request -
State: closed - Opened by srinathsetty over 2 years ago
#79 - Add benches
Pull Request -
State: closed - Opened by iontzialla over 2 years ago
#78 - Complete addition: handle addition of equal numbers and addition of negation
Pull Request -
State: closed - Opened by iontzialla over 2 years ago
#77 - IVC proof compression APIs and implementation
Pull Request -
State: closed - Opened by srinathsetty over 2 years ago
#76 - Refactor to allow non-determinisim.
Pull Request -
State: closed - Opened by porcuquine over 2 years ago
- 6 comments
#75 - use pasta_msm crate for MSM
Pull Request -
State: closed - Opened by srinathsetty over 2 years ago
#73 - Verifier's checks
Pull Request -
State: closed - Opened by srinathsetty over 2 years ago
#72 - Update README.md
Pull Request -
State: closed - Opened by srinathsetty over 2 years ago
#71 - small cleanup
Pull Request -
State: closed - Opened by srinathsetty over 2 years ago
#69 - Fold two incoming instances at once so one can fold instances in a binary tree fashion
Issue -
State: open - Opened by srinathsetty over 2 years ago
- 3 comments
#68 - Implement a non-trivial FinalSNARK to compress RecursiveSNARK proofs
Issue -
State: closed - Opened by srinathsetty over 2 years ago
#67 - RecursiveSNARK verify must check the correctness of parameters such as z_0, i, shape_digest, etc.
Issue -
State: closed - Opened by srinathsetty over 2 years ago
#56 - Optimization: The running instance does not need to absorbed.
Issue -
State: closed - Opened by srinathsetty over 2 years ago
- 2 comments
#47 - Serde serialization
Pull Request -
State: closed - Opened by arthurgreef over 2 years ago
- 1 comment
#46 - Serde Serialization
Issue -
State: closed - Opened by arthurgreef over 2 years ago
- 2 comments
#13 - A non-trivial FinalSNARK implementation
Pull Request -
State: closed - Opened by srinathsetty almost 3 years ago
- 1 comment