Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update ci tests for placeholder #237

Draft
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

vo-nil
Copy link
Contributor

@vo-nil vo-nil commented May 29, 2024

No description provided.

@vo-nil vo-nil requested a review from ETatuzova May 29, 2024 08:48
@vo-nil vo-nil self-assigned this May 29, 2024
marshalling tests for common_data and proof #235

rm commented test for kzg commitment #235
@vo-nil vo-nil force-pushed the 235-update-ci-tests-for-placeholder branch from 2969166 to e364a51 Compare July 9, 2024 08:18
AndreyMlashkin pushed a commit that referenced this pull request 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]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant