This repository has been archived by the owner on Feb 17, 2025. It is now read-only.
Update CI tests for placeholder #235
Assignees
Comments
vo-nil
added a commit
that referenced
this issue
May 29, 2024
vo-nil
added a commit
that referenced
this issue
May 29, 2024
vo-nil
added a commit
that referenced
this issue
May 29, 2024
AndreyMlashkin
pushed a commit
that referenced
this issue
Aug 15, 2024
AndreyMlashkin
pushed a commit
that referenced
this issue
Aug 15, 2024
* Proofs generation and verification updated #222 First working test #222 Add test with component-specific table#222 Update github actions #222 Lookup table definition changed not to generate lookup table if it's not necessary#222 Register table function changed #222 Changed lookup_table_definition * to shared_ptr #222 Add blueprint_algebra_fields_plonk_non_native_lookup_logic_ops_test to CI #222 Reserved table indices counting algorithm changed #222 Minor changes from ZK#222 CI crypto3 ref changed #222 Test plonk component proof generation switched off #222 Uncomment lookup constraints in sha-256 component #237 Change table packer in test_plonk_component.hpp Change table packer call in test_plonk_component.hpp #237 Update suite ref in CI #237 Two more lookup gates uncommented #237 Error in lookup table generation corrected #237 Some parameters changed to increase efficiency #237 Added weak connectedness check variant. (#235) 222 blueprint lookup tables (#231) * Proofs generation and verification updated #222 * First working test #222 * Add test with component-specific table#222 * Update github actions #222 * Lookup table definition changed not to generate lookup table if it's not necessary#222 * Register table function changed #222 * Changed lookup_table_definition * to shared_ptr #222 * Add blueprint_algebra_fields_plonk_non_native_lookup_logic_ops_test to CI #222 * Reserved table indices counting algorithm changed #222 * Minor changes from ZK#222 * CI crypto3 ref changed #222 * Test plonk component proof generation switched off #222 * Added lookup satisfiability check. * Print full log for unsatisfied lookup constraints #237 Fixed subtables processing in satisfiability_check #237 * add range checks * Sha table generators and constraint refactor. * Sha256 naming/constraint fixes. --------- Co-authored-by: e.tatuzova <[email protected]> Co-authored-by: shatooon <[email protected]>
AndreyMlashkin
pushed a commit
that referenced
this issue
Aug 15, 2024
* permutation argument verifier component * gate argument verifier implementation started * basic constraints verifier component added * permutation argument verifier component * gate argument verifier implementation started * basic constraints verifier component added * loop subcomponents for lookup argument * gate manifest types added * run_tests updated * gate component accepts non-zero degree * Added weak connectedness check variant. (#235) * 222 blueprint lookup tables (#231) * Proofs generation and verification updated #222 * First working test #222 * Add test with component-specific table#222 * Update github actions #222 * Lookup table definition changed not to generate lookup table if it's not necessary#222 * Register table function changed #222 * Changed lookup_table_definition * to shared_ptr #222 * Add blueprint_algebra_fields_plonk_non_native_lookup_logic_ops_test to CI #222 * Reserved table indices counting algorithm changed #222 * Minor changes from ZK#222 * CI crypto3 ref changed #222 * Test plonk component proof generation switched off #222 * connectedness fixes * gate argument changed * component input refactoring * lookup argument verifier component * bug fixes in subcomponents and more tests * f1 loop incorrect constraints fixed * lookup argument verifier test added to workflow --------- Co-authored-by: Valeh2012 <[email protected]> Co-authored-by: Iluvmagick <[email protected]> Co-authored-by: ETatuzova <[email protected]>
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Update circuits.hpp for placeholder tests is marshalling submodule
The text was updated successfully, but these errors were encountered: