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.

Sign up for GitHub

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

Jump to bottom

Set channel hash via prover parameters file #422

Open

m-kus wants to merge 3 commits into starkware-libs:main from m-kus:m-kus/channel-hash-param

+172 −49

m-kus commented Jan 31, 2025 •

edited by alon-dotan-starkware

Loading

Why: currently there's no way to parameterize the channel hash externally, though it's handy for e.g. testing recursion

What:

channel_hash field is added to prover parameters, can be either blake2s or poseidon252
adapted_stwo invokes generic prove/verify methods taking into account the channel hash setting

Depends on #420
Related to #410

This change is

m-kus added 3 commits

January 30, 2025 14:50


          Bump Stwo dependency to 0445252

e1ffd46


          Add prover parameters file and set default to 96 bits

b529fe1


          Set channel hash via prover parameters file

ad3eee7

m-kus mentioned this pull request

Add cli option to serialize Cairo proof as arguments for scarb execute #423

Open

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet