NilFoundation/zkllvm-blueprint
Circuit components definition library for zkLLVM circuit compiler
C++MIT
Issues
- 0
Dynamic keccak
#422 opened by ETatuzova - 0
Dynamic lookups
#413 opened by ETatuzova - 0
Activate test blueprint_non_native_plonk_add_mul_zkllvm_compatible_test
#417 opened by AndreyMlashkin - 0
mpt-circuit
#415 opened by gfotiadis - 0
Fix blueprint_non_native_plonk_add_mul_zkllvm_compatible_test, it used to pass before changes in multiprecision.
#392 opened by martun - 0
- 0
Redundant output in flake.nix
#399 opened by aleasims - 0
Boost dependency is not propagated in flake.nix
#398 opened by aleasims - 1
- 0
Reduce runners for blueprint testing
#386 opened by makxenov - 0
Fix dependencies in blueprint package config
#383 opened by makxenov - 0
More opcode implementations for zkEVM
#405 opened by ayashunsky - 0
Selector manager compilation issue fix
#403 opened by Iluvmagick - 0
zkevm inegration benchmarking
#397 opened by Iluvmagick - 0
Reproducable testing with Nix in CI
#377 opened by x-mass - 0
Bytecode circuit
#364 opened by ETatuzova - 0
Lookup constraints satisfiability check upgrades
#396 opened by Iluvmagick - 0
Enable_selector doesn't increase allocated_rows
#389 opened by ETatuzova - 0
EVM execution trace circuit
#359 opened by Iluvmagick - 0
Fix or delete blueprint_non_native_plonk_scalar_non_native_range_test and blueprint_algebra_fields_plonk_non_native_multiplication_test
#391 opened by martun - 0
Check if the division by zero in int/include/nil/blueprint/components/systems/snark/plonk/flexible/colinear_checks.hpp is ok.
#388 opened by martun - 0
Stop generating functions with defines.
#387 opened by martun - 0
- 2
Division by zero in blueprint_algebra_curves_plonk_variable_base_scalar_mul_test
#381 opened by martun - 0
Compilation error: Boost header not found
#379 opened by aleasims - 0
RW circuit
#378 opened by ETatuzova - 0
Gate id warning fix.
#372 opened by Iluvmagick - 0
Connectedness check fix
#370 opened by Iluvmagick - 0
Enable -Wall for test compilation
#368 opened by Iluvmagick - 0
Fix packages in flake.nix
#362 opened by aleasims - 1
- 0
ECDSA circuit
#360 opened by ayashunsky - 0
Batching improvements
#352 opened by Iluvmagick - 0
Recursive verifier circuit
#335 opened by ETatuzova - 0
MNT4/MNT6 pairing component
#355 opened by vo-nil - 0
Various tests fixes
#353 opened by nemothenoone - 0
Pow factor component
#340 opened by Iluvmagick - 0
Constraint evaluation component.
#336 opened by Iluvmagick - 0
Swap component batching for commitment verifier
#347 opened by Iluvmagick - 0
- 0
Poseidon hash component build fails
#342 opened by Iluvmagick - 0
Commitment scheme verification
#345 opened by Iluvmagick - 0
Final polynomial check for recursive verifier.
#343 opened by Iluvmagick - 0
Scaling benchmarks
#337 opened by Iluvmagick - 0
Move ArithmetizationParams from template paramters
#331 opened by Iluvmagick - 0
- 0
- 0
- 0
logic_or_flag test crashes
#321 opened by Iluvmagick - 0