logos-blockchain/lssa-zkvm-testing
1
0
Fork 0
mirror of https://github.com/logos-blockchain/lssa-zkvm-testing.git synced 2026-01-09 08:43:08 +00:00
Code Issues Packages Projects Releases Wiki Activity

rename

Browse Source
This commit is contained in:
Sergio Chouhy 2025-07-17 09:43:44 -03:00
parent e081031580
commit c051f4e9ea
2 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
risc0-selective-privacy-poc/examples/private_execution.rs
View File

@ -46,7 +46,8 @@ fn main() {
InputVisibiility::Private(Some((sender_private_key, auth_path))),
InputVisibiility::Private(None),
];
let receipt = nssa::prove_privacy_execution::<TransferProgram>(
let receipt = nssa::execute_and_prove_privacy_execution::<TransferProgram>(
&[sender, receiver],
&balance_to_move,
&visibilities,

6
risc0-selective-privacy-poc/src/lib.rs
View File

@ -27,7 +27,7 @@ fn write_inputs<P: Program>(
Ok(())
}
fn execute_and_prove<P: Program>(
fn execute_and_prove_inner<P: Program>(
input_accounts: &[Account],
instruction_data: &P::InstructionData,
) -> Result<(Receipt, Vec<Account>), ()> {
@ -66,7 +66,7 @@ pub fn execute<P: Program>(
Ok(inputs_outputs)
}
pub fn prove_privacy_execution<P: Program>(
pub fn execute_and_prove_privacy_execution<P: Program>(
inputs: &[Account],
instruction_data: &P::InstructionData,
visibilities: &[InputVisibiility],
@ -74,7 +74,7 @@ pub fn prove_privacy_execution<P: Program>(
) -> Result<Receipt, ()> {
// Prove inner program and get post state of the accounts
let num_inputs = inputs.len();
let (inner_receipt, inputs_outputs) = execute_and_prove::<P>(inputs, instruction_data)?;
let (inner_receipt, inputs_outputs) = execute_and_prove_inner::<P>(inputs, instruction_data)?;
// Sample fresh random nonces for the outputs of this execution
let output_nonces: Vec<_> = (0..num_inputs).map(|_| new_random_nonce()).collect();