Spartan

Spartan copied to clipboard

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

1

```rust // produce a proof of satisfiability let proof = SNARK::prove(&inst, &comm, &decomm, vars, &inputs, &gens, &mut prover_transcript); ``` This function takes 6 parameters but 7 parameters were supplied [E0061]...

HLRJ

Ethan-000

Add More Examples

2

I really would like if you added more examples of what you can do with Spartan. For instance, proving knowledge of a preimage of a hash with Poseidon. This would...

AtropineTears

Add another challenge in dotproduct proof?

2

In paper [Halo: Recursive Proof Composition without a Trusted Setup ](https://eprint.iacr.org/2019/1021.pdf), section 3.1:  And in paper [Bulletproofs: Short Proofs for Confidential Transactions and More](https://eprint.iacr.org/2017/1066.pdf), protocol 1:  Do we...

3for

srinathsetty

Converting Spartan to Wasm

1

Hi, is it possible to convert Spartan to wasm? I want to convert Spartan to WASM and use it in every platform.

natalialinov

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

2

When compiling a project using the Spartan Lib (Code Below) on the current nightly (`rustc 1.76.0-nightly (ba7c7a301 2023-11-13)`), I get the following error (below) that `packed_simd_2` could not be compiled....

cdesch

Proving math functions with Spartan

2

Thanks for your great work. I wonder if it is possible to prove math functions such as simple comparison, square root, reciprocal or (more complex) exponential functions using Spartan. Could...

Fobow

Hi there I refactored some parts of polynomial operations. I really like [this way](https://github.com/microsoft/Spartan/blob/e0f964c3f93dc95134ba36940b22e0ad6b09fe98/src/sparse_mlpoly.rs#L466) to deal with sparse polynomial so aligned other implementations with it. I would appreciate it if...

ashWhiteHat

How to determine num_non_zero_entries

1

I do not understand `num_non_zero_entries`. For a R1CS instance defined via matrices A,B,C, `num_non_zero_entries` refers to which matrix? It appears to be essential for the runtime of SNARK proof. -...

mottla