Srinath Setty

@HLRJ thanks for the report! With nightly Rust, when you run `cargo test`, it runs code in `README.md` and I get the following successful output: Doc-tests libspartan running 3 tests...

@3for Thanks for bringing this to my attention! I checked with the authors of [37] and indeed, we need to add the additional challenge.

Thanks, @AtropineTears for your interest! If you're familiar with bellman/bellperson libraries, adding a similar gadget library for Spartan is on our radar. For example, see https://github.com/microsoft/Nova/tree/main/src/bellperson that produces the necessary...

@natalialinov I think it is possible since there are minimal dependencies and they all should support running them in wasm. We haven't tried doing it though.

Closing this for lack of activity. Please reopen this if you find any new issues.

Thanks to @ashutoshvarma's PR #60, we have better support for WASM. We just published a new version of the crate: https://crates.io/crates/spartan

Hi! One option could be to run it with default-features turned off. If you see the default feature here, it turns on the simd-backend feature of curve25519-dalek: https://github.com/microsoft/Spartan/blob/e0f964c3f93dc95134ba36940b22e0ad6b09fe98/Cargo.toml#L61

Please check the latest master. I think the build issue should be resolved.

Yes, exactly. There are tools like circom and noir that can let you express high-level computation and they can then be proven with spartan.

Thanks for the catch! Yes, indeed the assert is what you noted in the last line. It is not critical for correctness, but it should be fixed.