Closed huitseeker closed 2 months ago
Except I'm not 100% sure that the bytes() method in the fixture-generator is correct with the pr.raw_proof/pr.encoded_proof thing
True, I can revert to the encoded proof if this is needed, it's an easy fix.
@samuelburnham: We will need to update the cycle-count-regression
CI check due to output format changes, see #164. It's failing for aptos in this PR and the ethereum one is currently only passing because this PR has not yet been rebased on top of #163 so it's not running any tests. This is a lower priority/non-blocking issue that we can solve later on and merge with the failing CI checks if we need to
I have updated Move tests, so now only cycle-count-regression
stuff is broken. As we can tackle this in subsequent PRs, I think this one is good to merge once CI finishes
Summary
This is the companion PR of https://github.com/argumentcomputer/sphinx/pull/150
In Detail
SphinxProof
in favor ofSphinxProofWithPublicValues
.prove
andexecute
functions across system (enacting builder pattern).prove_plonk
andverify_plonk
functions into main proving and verification functions using the method.plonk()
where required.stdin
as an argument in theexecute
function across applications.bytes
function for supporting different proof types in the fixture-generator.SphinxProofWithPublicValues
and updated function calls.tokio
version from"1.39.0"
to"1.39.2"
and Hex dependency addition at version0.4.3
.