logos-blockchain/logos-execution-zone
1
0
Fork 0
mirror of https://github.com/logos-blockchain/logos-execution-zone.git synced 2026-06-29 18:39:30 +00:00
Code Issues Packages Projects Releases Wiki Activity

Test function for proving with cycle counts

Browse Source
This commit is contained in:
agureev 2026-06-16 20:27:54 +04:00
parent 79ba5a1194
commit 3e1343c6af
1 changed files with 18 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
lee/state_machine/src/privacy_preserving_transaction/circuit.rs
View File

@ -70,6 +70,23 @@ pub fn execute_and_prove(
account_identities: Vec<InputAccountIdentity>,
program_with_dependencies: &ProgramWithDependencies,
) -> Result<(PrivacyPreservingCircuitOutput, Proof), LeeError> {
let (output, proof, _cycles) = execute_and_prove_with_cycles(
pre_states,
instruction_data,
account_identities,
program_with_dependencies,
)?;
Ok((output, proof))
}
/// Generates a proof and cycle count for the execution of a LEE program inside the privacy
/// preserving execution circuit.
pub fn execute_and_prove_with_cycles(
pre_states: Vec<AccountWithMetadata>,
instruction_data: InstructionData,
account_identities: Vec<InputAccountIdentity>,
program_with_dependencies: &ProgramWithDependencies,
) -> Result<(PrivacyPreservingCircuitOutput, Proof, u64), LeeError> {
let ProgramWithDependencies {
program: initial_program,
dependencies,
@ -145,7 +162,7 @@ pub fn execute_and_prove(
.decode()
.map_err(|e| LeeError::CircuitOutputDeserializationError(e.to_string()))?;
Ok((circuit_output, proof))
Ok((circuit_output, proof, prove_info.stats.user_cycles))
}
fn execute_and_prove_program(