microsoft/Spartan issues and pull requests

#84 - Introduce typo checking to CI

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

#83 - Fix typos

Pull Request - State: closed - Opened by rex4539 about 1 month ago - 5 comments

#82 - fix typos

Pull Request - State: closed - Opened by crStiv about 1 month ago - 2 comments

#81 - Fix clippy errors and update version

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

#80 - question: interest in implementing `ark-snark` `SNARK` trait?

Issue - State: closed - Opened by Autoparallel 2 months ago - 5 comments

#79 - Update SECURITY.md

Pull Request - State: closed - Opened by Dahka2321 2 months ago

#78 - docs: Fix grammatical error in initial comment

Pull Request - State: open - Opened by mdqst 2 months ago

#77 - Fix: typos in README.md

Pull Request - State: open - Opened by cypherpepe 2 months ago

#76 - chore: fix some comments

Pull Request - State: open - Opened by wangjingcun 3 months ago - 2 comments

#75 - Serialization

Pull Request - State: closed - Opened by chancehudson 4 months ago - 1 comment

#74 - Proof serialization

Issue - State: closed - Opened by chancehudson 4 months ago

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

Pull Request - State: closed - Opened by asn-d6 5 months ago

#72 - fix clippy warnings

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

#71 - close issue 70 and badge

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

#70 - Possible Mistake in Assert Statement

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

#69 - R1CS instance does not match the definition

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

#68 - fix build

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

#67 - Proving math functions with Spartan

Issue - State: closed - Opened by Fobow about 1 year 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 over 1 year ago - 3 comments

#65 - refactor: improve visibilities

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

#64 - How to determine num_non_zero_entries

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

#63 - Remove extremely minor duplication

Pull Request - State: closed - Opened by Jun-Hee-Lee almost 2 years ago

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

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

#61 - update version

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

#60 - Improve Support for WASM

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

#59 - PST with square root trusted setup

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

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

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

#57 - Post-quantum variant of Spartan

Issue - State: closed - Opened by kc1212 over 2 years ago - 1 comment

#56 - update readme

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

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

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

#54 - Converting Spartan to Wasm

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

#53 - Update version and readme

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

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

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

#51 - support for stable Rust

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

#50 - clippy fixes

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

#49 - fix comment

Pull Request - State: closed - Opened by Ethan-000 over 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 almost 3 years ago

#45 - remove asserts; return result objects

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

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

Issue - State: closed - Opened by ikhaliq15 almost 3 years ago

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

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

#42 - Compatibility with circom

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

#41 - Add More Examples

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

#40 - Differences between Spartan and ZkSTARKs

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

#39 - compatible high level languages

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

#38 - Fix version number in README.md

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

#37 - Update to latest Rust and fix Clippy warnings

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

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

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

#35 - what's wrong?

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

#34 - Arbitrary number of variables and contraints

Pull Request - State: closed - Opened by elefthei almost 4 years ago - 6 comments

#33 - Add another challenge in dotproduct proof?

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

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

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

#31 - The `num_nz_entries` should be more generic

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

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

Pull Request - State: closed - Opened by milkey-mouse about 4 years ago

#29 - annotation typo

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

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

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

#27 - Removes a few panics

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

#26 - Add example proving knowledge of cubic equation solution

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

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

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

#24 - Add APIs to specify an R1CS Instance

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

#23 - Adapter for ZKInterface

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

#22 - How to use externally generated R1CS?

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

#21 - Some minor tweaks

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