zkllvm-blueprint icon indicating copy to clipboard operation
zkllvm-blueprint copied to clipboard

Published 20 hours ago • verified publisher icon NilFoundation
→

Metadata

Circuit components definition library for zkLLVM circuit compiler

Results 77 zkllvm-blueprint issues
Sort by recently updated
recently updated
newest added

Fix negative tests in test/non_native/plonk/scalar_non_native_range.cpp and test/non_native/plonk/bool_scalar_multiplication.cpp

martun avatar martun

Return some regular algebra tests to two-blueprints

Some test were remade for blueprint_mc, this issue will return some tests for regular blueprint.

tshchelovek avatar tshchelovek

Add more test cases for basic components

CblPOK-git avatar CblPOK-git

Implement Cairo profiling

nkaskov avatar nkaskov

enhancement

Mina-circuits new namespaces and filenames

1 comment

ETatuzova avatar ETatuzova

update components interfaces mina

Now we have new interfaces in zk d55a5288f76285c73404270a00099f4ec5563fc0 and need to update components

CblPOK-git avatar CblPOK-git

Add real test data for verify_scalar test

CblPOK-git avatar CblPOK-git

Add real test data from mina into batch_verify_base_field test

CblPOK-git avatar CblPOK-git

Add real test data for base field verifier

CblPOK-git avatar CblPOK-git

Update verify_heterogenous scalar and base assignments

https://github.com/MinaProtocol/mina/blob/develop/src/lib/pickles/verify.ml#L30 - original implementation https://github.com/NilFoundation/zkllvm-blueprint/blob/mina-circuits/include/nil/crypto3/zk/components/systems/snark/plonk/pickles/verify_heterogenous_base.hpp#L153 - elliptic curves base field (for point coordinates) calculations implementation. https://github.com/NilFoundation/zkllvm-blueprint/blob/mina-circuits/include/nil/crypto3/zk/components/systems/snark/plonk/pickles/verify_heterogenous_scalar.hpp#L316 - scalar field calculations implementation.

Luannet avatar Luannet

← Metadata

40
Stars
16
Forks
Watchers

Owner

verified publisher icon NilFoundation

Metadata

Circuit components definition library for zkLLVM circuit compiler

Back