noname

noname copied to clipboard

## snarkjs testing workflow Here are the commands to verify the whole process. ```bash # create new noname package. this will create a new folder test, containing the noname code....

katat

add must_use to the sub, add, mul, etc. functions of the backend trait

1

right now it's too easy to write code that operates on FieldVar/CellVar which could not lead to constraints, we should use the [must_use](https://doc.rust-lang.org/reference/attributes/diagnostics.html#the-must_use-attribute) attribute to have the compiler yell at...

mimoo

this is a rebase for https://github.com/zksecurity/noname/pull/48

katat

Can we remove `add_constant`?

2

We should audit the usage of `add_constant` function. I have a feeling that it should be abstracted away, and the backend should decide if constants need to be created by...

mimoo

use the permutation to constrain assert_eq(_var)

1

in kimchi/plonk, no need to have a gate to constrain that two vars are equal, it's enough to create a wire between them with the permutation the same is true...

mimoo

Check the test coverage

1

- Do some test coverage checks on the constraint - Each frontend constraint functions in bool/field/builtin should be covered - A test should check the asm (this serves like a...

katat

exercise the multiplication by adding a mul in the `arithmetic.no` test

mimoo

optimize constraints

1

We currently do not optimize constraints well, we optimistically add plonk (generic) gates when we could wait. The same is going to be true for R1CS constraints. The snarky approach...

mimoo

I don't remember what it is but I did make a note that we should maybe try to delete it. I guess first step should be to document here what...

mimoo

do we need an IR?

4

classical compilers that have different backend/targets seem to have an intermediate representation in which they can compute optimizations. Should we have an IR? There's different ones that exist today, like...

mimoo