Skip to content
This repository has been archived by the owner on Nov 4, 2024. It is now read-only.

User defined parameter k for halo2 mock prover #155

Merged
merged 3 commits into from
Oct 18, 2023

Conversation

qwang98
Copy link
Collaborator

@qwang98 qwang98 commented Oct 17, 2023

Ready for review. @leolara

@qwang98 qwang98 requested a review from leolara October 17, 2023 13:34
@qwang98 qwang98 linked an issue Oct 17, 2023 that may be closed by this pull request
chiquito_super_circuit_halo2_mock_prover(
uuids,
super_witness,
k.extract().expect("PyLong convertion failed."),
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

conversion?

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yes. It's type conversion between Python and Rust. PyLong is basically int.

@qwang98 qwang98 added this pull request to the merge queue Oct 18, 2023
Merged via the queue into main with commit a0dfad6 Oct 18, 2023
4 checks passed
@alxkzmn alxkzmn deleted the steve/arbitrary-mock-prover-k branch August 7, 2024 11:16
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Allow user to supply MockProver k parameter
2 participants