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

#232 - Adopt a CSR Representation for Sparse Matrices (Arecibo backport)

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

#230 - Release 0.24.0

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

#229 - Refactor digest computations (Arecibo backport)

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

#228 - removing iteration count parameter (num_steps) from verify function

Issue - State: open - Opened by Hakkush-07 about 1 year ago - 1 comment

#227 - Arecibo backports

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

#226 - Unclear UnSat Error: 'RecursiveSNARK::verify: Err(UnSat)'

Issue - State: closed - Opened by fraVlaca about 1 year ago - 1 comment

#225 - Minor tweak

Pull Request - State: closed - Opened by Jun-Hee-Lee about 1 year ago

#224 - Minor Tweak

Pull Request - State: closed - Opened by Jun-Hee-Lee about 1 year ago

#223 - Arecibo backports

Pull Request - State: closed - Opened by huitseeker over 1 year ago - 2 comments

#222 - Small RO trait simplification

Pull Request - State: closed - Opened by huitseeker over 1 year ago - 3 comments

#221 - Refactors + testing around Spartan Polynomials

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

#220 - Refine comments and minor adjustments

Pull Request - State: closed - Opened by Jun-Hee-Lee over 1 year ago

#219 - Simplifications to trait structures

Pull Request - State: closed - Opened by huitseeker over 1 year ago - 2 comments

#218 - Various refactorings

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

#217 - Rename bellperson to bellpepper everywhere.

Pull Request - State: closed - Opened by porcuquine over 1 year ago

#216 - Support accelerated MSM for halo2curves/grumpkin

Issue - State: closed - Opened by huitseeker over 1 year ago - 7 comments

#215 - feat(spartan/polynomial): Update polynomial with docs and new methods

Pull Request - State: closed - Opened by oskarth over 1 year ago

#214 - Chore/sync upstream

Pull Request - State: closed - Opened by oskarth over 1 year ago - 1 comment

#213 - fine tune step circuit trait to avoid re-implement zi->zi_next logic

Pull Request - State: closed - Opened by hero78119 over 1 year ago - 3 comments

#212 - Remove uneeded circuit allocations in RecursiveSNARK

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

#211 - More ppsnark refactorings

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

#209 - update version

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

#208 - Ppsnark refactorings

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

#207 - refactor: streamline some traits and bounds

Pull Request - State: closed - Opened by huitseeker over 1 year ago - 5 comments

#206 - Small code organization improvements

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

#205 - test: Tests for polynomial & bignat circuits

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

#204 - supernova implementation with naive opcode commitment for argumented circuit sequence.

Pull Request - State: closed - Opened by hero78119 over 1 year ago - 20 comments

#203 - feat: Make commitment key generation configurable with an optional parameter

Pull Request - State: closed - Opened by huitseeker over 1 year ago - 6 comments

#201 - Benchmark computation commitments

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

#200 - refactor: make CommitmentKeyExtTrait public

Pull Request - State: closed - Opened by huitseeker over 1 year ago - 2 comments

#199 - feat: add secp/secq cycle

Pull Request - State: closed - Opened by dmpierre over 1 year ago - 7 comments

#197 - details about scalar_mul?

Issue - State: closed - Opened by PayneJoe over 1 year ago - 3 comments

#196 - upgrade the dependencies & code clean

Pull Request - State: closed - Opened by flyq over 1 year ago - 2 comments

#194 - update README.md and version

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

#193 - Why the type of "x" is vector?

Issue - State: closed - Opened by intstringnum over 1 year ago - 1 comment

#192 - Fix comment typo

Pull Request - State: closed - Opened by Jun-Hee-Lee over 1 year ago

#191 - refactor: Refactor Keccak256Transcript and update tests

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

#190 - Typo in paper "Revisiting the Nova Proof System on a Cycle of Curves"

Issue - State: closed - Opened by 3for over 1 year ago - 1 comment

#189 - Fix typo

Pull Request - State: closed - Opened by 3for over 1 year ago - 4 comments

#188 - Add a Sha256 bench

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

#187 - eliminate an unnecessary zero variable in a test

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

#186 - In nifs.rs's test_tiny_r1cs() case, why the num_vars = 4?

Issue - State: closed - Opened by readygo67 over 1 year ago - 2 comments

#184 - [refactorings] Leftovers (pot-pourri?)

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

#183 - Add the ability to profile the benchmarks w/ a flamegraph feature

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

#182 - Remove Zlib compression in public parameter computation

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

#181 - Add Grumpkin cycle implementation

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

#180 - [test, chore]: Fix clippy and genericize one more test

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

#178 - Clippy gave different result depend on the version of compiler and clippy

Issue - State: closed - Opened by chiro-hiro over 1 year ago - 2 comments

#177 - Improved Neptune Witness Generation via Bellpepper

Pull Request - State: closed - Opened by porcuquine over 1 year ago - 3 comments

#176 - Guidance on Using Poseidon Hash in Custom Circuits

Issue - State: closed - Opened by suniljalandhra over 1 year ago - 3 comments

#175 - Add initial experimental HyperNova multifolding support

Pull Request - State: open - Opened by oskarth over 1 year ago - 7 comments

#174 - Zero-knowledge implementation gap

Issue - State: closed - Opened by huitseeker over 1 year ago - 4 comments

#173 - Update README.md with release flag

Pull Request - State: closed - Opened by mmaker over 1 year ago

#172 - chore: Update neptune dependency

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

#171 - [test-only] More genericity in tests

Pull Request - State: closed - Opened by huitseeker over 1 year ago - 3 comments

#170 - Unsafe Serde :)

Pull Request - State: closed - Opened by winston-h-zhang over 1 year ago - 1 comment

#169 - release candidate

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

#168 - hash of public parameters in the transcript

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

#166 - chore: update to ff/group 0.13

Pull Request - State: closed - Opened by samuelburnham over 1 year ago - 1 comment

#165 - Make ecc tests generic wrt curves

Pull Request - State: closed - Opened by leonardoalt over 1 year ago - 1 comment

#164 - Is Nova quantum ready?

Issue - State: closed - Opened by Anderssorby over 1 year ago - 1 comment

#163 - Improve performance of recursive

Pull Request - State: closed - Opened by chiro-hiro over 1 year ago - 18 comments

#162 - chore: update to ff/group 0.13 and associated dependencies

Pull Request - State: closed - Opened by huitseeker over 1 year ago - 8 comments

#161 - update preprocessing spartan to batch sum-checks

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

#160 - serde for types

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

#159 - support proving step circuits directly with a final snark

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

#158 - A more optimal preprocessing SNARK

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

#157 - Chiro/feature/dummy test of parallel prover

Pull Request - State: closed - Opened by chiro-hiro over 1 year ago

#156 - Fixes a bug in the tests

Pull Request - State: closed - Opened by aleph-v over 1 year ago

#155 - Adds the rest of the proof merge step

Pull Request - State: closed - Opened by aleph-v over 1 year ago

#154 - Batch polynomial evaluations

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

#153 - R1CS folding generalization

Pull Request - State: closed - Opened by aleph-v over 1 year ago

#152 - spark-based commitments to R1CS matrices

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

#151 - Fix padding logic

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

#150 - Generalize TranscriptRepr implementation for slices

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

#149 - simplify CommitmentEngine

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

#148 - Simplify TranscriptEngine usage

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

#147 - minor typo fix

Pull Request - State: closed - Opened by Jun-Hee-Lee over 1 year ago - 1 comment

#146 - Add Supernova Support

Issue - State: closed - Opened by wyattbenno777 over 1 year ago - 3 comments

#145 - Separate prover and verifier keys in CompressedSNARK

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

#144 - pass only one multilinear polynomial to EE

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

#143 - simplify trait requirements

Pull Request - State: closed - Opened by srinathsetty almost 2 years ago

#142 - Small optimizations

Pull Request - State: closed - Opened by srinathsetty almost 2 years ago

#141 - Feature to enable Neptune GPU Poseidon

Pull Request - State: closed - Opened by nalinbhardwaj almost 2 years ago

#140 - allow the provider to provide byte representation of a scalar

Pull Request - State: closed - Opened by srinathsetty almost 2 years ago

#139 - Make code generic over a TranscriptEngine

Pull Request - State: closed - Opened by srinathsetty almost 2 years ago

#138 - Move IPA-specific trait methods to an extended trait

Pull Request - State: closed - Opened by srinathsetty almost 2 years ago

#137 - fix wasm build

Pull Request - State: closed - Opened by srinathsetty almost 2 years ago

#135 - use thiserror to implement std::error::Error

Pull Request - State: closed - Opened by srinathsetty almost 2 years ago

#134 - add Wasm build to CI

Pull Request - State: closed - Opened by srinathsetty almost 2 years ago

#133 - release candidate

Pull Request - State: closed - Opened by srinathsetty almost 2 years ago