snark

snark copied to clipboard

## Summary of Bug `PartialOrd` for `Variable` violates `transitivity` and `duality` properties. This [code](https://github.com/arkworks-rs/snark/blob/master/relations/src/r1cs/mod.rs#L122-L142) prints both `0 ## Steps to Reproduce https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=51b860bb4a8854d6636e740e8be1c9ce

BoyuanFeng

Add `Relation` trait

5

## Description Adds two traits: `Relation` and `NPRelation`. Modifies the `SNARK` trait to use these, instead of the `ConstraintSystem` infrastructure. TBD: How to integrate the old `ConstraintSystem`-based APIs into this....

Pratyush

## Description closes: #XXXX --- Before we can merge this PR, please make sure that all the following items have been checked off. If any of the checklist items are...

Baghery

∂ ## Summary of Bug Currently, `ConstraintLayer` does not implement `tracing-subscriber::Layer` trait in v0.3 (so it will not work). Do we want to update this dependency? https://github.com/arkworks-rs/snark/blob/7af2b44215b09fda4f41813e274ad9464381711e/relations/Cargo.toml#L19-L20 ```diff - tracing-subscriber...

tsunrise

## Summary This issue is about a feature request on `ConstraintSystem`. Ideally, there is a `debug` mode. When it is on, it helps the developers find out which constraint is...

weikengchen

Make `ConstraintSynthesizer::generate_constraints` not consume `self` by value

5

Pratyush

Consider storing a pointer to the value of a coefficient in the final R1CS object

3

Loopring put out a blog post earlier today discussing optimizations they used (https://medium.com/loopring-protocol/zksnark-prover-optimizations-3e9a3e5578c0) One interesting memory reduction optimization is noting that for ~all circuits of interest, there are not that...

ValarDragon

Secrets such as Private Keys and Toxic Waste must remain in memory for as little as possible to minimize chances of extraction via side-channels and similar methods. They must also...

gakonst

Remove duplicate constraints

14

If your performing exponentiation on the same variable in multiple locations in your code, you may have duplicate constraints in many places. Ideally the backend should be able to catch...

ValarDragon

## Summary This is somehow related to verifying matrix multiplications, a use case of verifying matrix multiplications using generic SNARK. (Note: if you have a use case of this, it...

weikengchen