logos-blockchain/lssa
1
0
Fork 0
mirror of https://github.com/logos-blockchain/lssa.git synced 2026-01-07 15:53:14 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix: comments fix

Browse Source
This commit is contained in:
Oleksandr Pravdyvyi 2025-09-15 10:39:57 +03:00
parent d81fb2665f
commit a11f372091
No known key found for this signature in database
GPG Key ID: 9F8955C63C443871
2 changed files with 11 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
nssa/src/encoding/privacy_preserving_transaction.rs
View File

@ -1,12 +1,10 @@
use std::io::{Cursor, Read}; use std::io::{Cursor, Read};
use nssa_core::{ use nssa_core::{
Commitment, Nullifier, PrivacyPreservingCircuitOutput, Commitment, Nullifier,
account::Account, account::Account,
encryption::{Ciphertext, EphemeralPublicKey}, encryption::{Ciphertext, EphemeralPublicKey},
}; };
use program_methods::PRIVACY_PRESERVING_CIRCUIT_ID;
use risc0_zkvm::{InnerReceipt, Receipt};
use crate::{ use crate::{
Address, PrivacyPreservingTransaction, PublicKey, Signature, Address, PrivacyPreservingTransaction, PublicKey, Signature,
@ -228,12 +226,6 @@ impl PrivacyPreservingTransaction {
} }
impl Proof { impl Proof {
pub(crate) fn is_valid_for(&self, circuit_output: &PrivacyPreservingCircuitOutput) -> bool {
let inner: InnerReceipt = borsh::from_slice(&self.0).unwrap();
let receipt = Receipt::new(inner, circuit_output.to_bytes());
receipt.verify(PRIVACY_PRESERVING_CIRCUIT_ID).is_ok()
}
pub fn to_bytes(&self) -> Vec<u8> { pub fn to_bytes(&self) -> Vec<u8> {
let mut bytes = Vec::new(); let mut bytes = Vec::new();
let proof_len = self.0.len() as u32; let proof_len = self.0.len() as u32;

12
nssa/src/privacy_preserving_transaction/circuit.rs
View File

@ -4,11 +4,11 @@ use nssa_core::{
account::AccountWithMetadata, account::AccountWithMetadata,
program::{InstructionData, ProgramOutput}, program::{InstructionData, ProgramOutput},
}; };
use risc0_zkvm::{ExecutorEnv, Receipt, default_prover}; use risc0_zkvm::{ExecutorEnv, InnerReceipt, Receipt, default_prover};
use crate::{error::NssaError, program::Program}; use crate::{error::NssaError, program::Program};
use program_methods::PRIVACY_PRESERVING_CIRCUIT_ELF; use program_methods::{PRIVACY_PRESERVING_CIRCUIT_ELF, PRIVACY_PRESERVING_CIRCUIT_ID};
/// Proof of the privacy preserving execution circuit /// Proof of the privacy preserving execution circuit
#[derive(Debug, Clone, PartialEq, Eq)] #[derive(Debug, Clone, PartialEq, Eq)]
@ -78,6 +78,14 @@ fn execute_and_prove_program(
.receipt) .receipt)
} }
impl Proof {
pub(crate) fn is_valid_for(&self, circuit_output: &PrivacyPreservingCircuitOutput) -> bool {
let inner: InnerReceipt = borsh::from_slice(&self.0).unwrap();
let receipt = Receipt::new(inner, circuit_output.to_bytes());
receipt.verify(PRIVACY_PRESERVING_CIRCUIT_ID).is_ok()
}
}
#[cfg(test)] #[cfg(test)]
mod tests { mod tests {
use nssa_core::{ use nssa_core::{