zkllvm-blueprint

zkllvm-blueprint copied to clipboard

Many circuits we added for Mina are in-fact high-level wrappers on our components. They will be substituted by the code written upon the zkLLVM compiler. Since we need to use...

nkaskov

add real data to https://github.com/NilFoundation/zkllvm-blueprint/blob/mina-circuits/test/verifiers/kimchi/batch_verify_scalar_field.cpp

tshchelovek

add real data to these tests https://github.com/NilFoundation/zkllvm-blueprint/blob/mina-circuits/test/verifiers/kimchi/detail/combine_proof_evals.cpp https://github.com/NilFoundation/zkllvm-blueprint/blob/mina-circuits/test/verifiers/kimchi/detail/public_evaluations.cpp

tshchelovek

update oracles scalar and prepare batch scalar tests and get rid of bugs https://github.com/NilFoundation/zkllvm-blueprint/blob/mina-circuits/test/verifiers/kimchi/oracles_scalar.cpp https://github.com/NilFoundation/zkllvm-blueprint/blob/mina-circuits/test/verifiers/kimchi/prepare_batch_scalar.cpp

tshchelovek

It'd be cool to have a not equals component that would be more efficient that compare component or packing component + disjunction component. The constraint I suggest is: inv *...

NoamDev

For now, we can change it to vectors

SK0M0R0H

nkaskov

Mina audit part one minor

CblPOK-git

nkaskov

Luannet