microsoft/Spartan issues and pull requests

#73 - dense_mlpoly.rs: Fix manipulation of evaluation vector Z by bound functions

Pull Request - State: open - Opened by asn-d6 7 days ago

#72 - fix clippy warnings

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

#71 - close issue 70 and badge

Pull Request - State: closed - Opened by ashWhiteHat about 2 months ago

#70 - Possible Mistake in Assert Statement

Issue - State: closed - Opened by ishwarbb 5 months ago - 1 comment

#69 - R1CS instance does not match the definition

Issue - State: open - Opened by ishwarbb 5 months ago - 1 comment

#68 - fix build

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

#67 - Proving math functions with Spartan

Issue - State: open - Opened by Fobow 10 months ago - 2 comments

#66 - Error compiling with latest rust: could not compile `packed_simd_2` (lib) due to 6 previous errors

Issue - State: closed - Opened by cdesch 11 months ago - 3 comments

#65 - refactor: improve visibilities

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

#64 - How to determine num_non_zero_entries

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

#63 - Remove extremely minor duplication

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

#62 - scale the generator used for commiting to inner product

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

#61 - update version

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

#60 - Improve Support for WASM

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

#59 - PST with square root trusted setup

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

#58 - Where to find the example of proof H(s)==d?

Issue - State: open - Opened by jamesdang almost 2 years ago - 1 comment

#57 - Post-quantum variant of Spartan

Issue - State: open - Opened by kc1212 almost 2 years ago

#56 - update readme

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

#55 - optimize the computation of digest of A/B/C matrices

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

#54 - Converting Spartan to Wasm

Issue - State: closed - Opened by natalialinov about 2 years ago - 2 comments

#53 - Update version and readme

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

#52 - [E0061] in readme.md Examples produce a proof of satisfiability

Issue - State: closed - Opened by HLRJ about 2 years ago - 2 comments

#51 - support for stable Rust

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

#50 - clippy fixes

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

#49 - fix comment

Pull Request - State: closed - Opened by Ethan-000 about 2 years ago

#48 - Put simd_backend into default feature

Pull Request - State: closed - Opened by jkwoods over 2 years ago

#47 - Migrate to arkworks

Pull Request - State: closed - Opened by maramihali over 2 years ago - 1 comment

#46 - Transcript

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

#45 - remove asserts; return result objects

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

#44 - panics when testing assignment that doesn't meet constraints

Issue - State: closed - Opened by ikhaliq15 over 2 years ago

#43 - How Do I Construct R1CS Using Negative Values?

Issue - State: closed - Opened by AtropineTears almost 3 years ago - 2 comments

#42 - Compatibility with circom

Issue - State: closed - Opened by m0bi5 almost 3 years ago - 5 comments

#41 - Add More Examples

Issue - State: open - Opened by AtropineTears almost 3 years ago - 2 comments

#40 - Differences between Spartan and ZkSTARKs

Issue - State: closed - Opened by jochasinga almost 3 years ago - 2 comments

#39 - compatible high level languages

Issue - State: closed - Opened by dvc94ch almost 3 years ago - 1 comment

#38 - Fix version number in README.md

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

#37 - Update to latest Rust and fix Clippy warnings

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

#36 - error[E0557]: feature has been removed

Issue - State: closed - Opened by reptincel-cpu about 3 years ago - 1 comment

#35 - what's wrong?

Issue - State: closed - Opened by PanosYang about 3 years ago - 1 comment

#34 - Arbitrary number of variables and contraints

Pull Request - State: closed - Opened by elefthei over 3 years ago - 6 comments

#33 - Add another challenge in dotproduct proof?

Issue - State: closed - Opened by 3for over 3 years ago - 2 comments

#32 - upgrade curve25519-dalek package to use the crates.io version

Pull Request - State: closed - Opened by srinathsetty over 3 years ago

#31 - The `num_nz_entries` should be more generic

Issue - State: closed - Opened by 3for over 3 years ago - 7 comments

#30 - Fix build on recent nightly compilers (upgrade packed_simd)

Pull Request - State: closed - Opened by milkey-mouse over 3 years ago

#29 - annotation typo

Pull Request - State: closed - Opened by 3for almost 4 years ago - 1 comment

#28 - The fine-grained profiler and benches only prints proof_compressed_len

Issue - State: closed - Opened by 29988122 almost 4 years ago - 1 comment

#27 - Removes a few panics

Pull Request - State: closed - Opened by huitseeker almost 4 years ago

#26 - Add example proving knowledge of cubic equation solution

Pull Request - State: closed - Opened by kubkon about 4 years ago - 6 comments

#25 - Cleaner Error handling + Refactor to idiomatic Result/Option patterns

Pull Request - State: closed - Opened by huitseeker about 4 years ago - 5 comments

#24 - Add APIs to specify an R1CS Instance

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

#23 - Adapter for ZKInterface

Issue - State: closed - Opened by Tails about 4 years ago - 2 comments

#22 - How to use externally generated R1CS?

Issue - State: closed - Opened by Tails about 4 years ago - 3 comments

#21 - Some minor tweaks

Pull Request - State: closed - Opened by dlubarov about 4 years ago - 4 comments