logos-blockchain/lssa
1
0
Fork 0
mirror of https://github.com/logos-blockchain/lssa.git synced 2026-01-05 23:03:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

remove builtin programs check

Browse Source
This commit is contained in:
Sergio Chouhy 2025-08-27 19:25:03 -03:00
parent 87577726ec
commit a36592485c
2 changed files with 2 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
nssa/Cargo.toml
View File

@ -11,7 +11,6 @@ program-methods = { path = "program_methods" }
serde = "1.0.219" serde = "1.0.219"
sha2 = "0.10.9" sha2 = "0.10.9"
secp256k1 = "0.31.1" secp256k1 = "0.31.1"
k256 = "0.13.3"
rand = "0.8" rand = "0.8"
borsh = "1.5.7" borsh = "1.5.7"
bytemuck = "1.13" bytemuck = "1.13"

7
nssa/program_methods/guest/src/bin/privacy_preserving_circuit.rs
View File

@ -9,8 +9,6 @@ use nssa_core::{
PrivacyPreservingCircuitInput, PrivacyPreservingCircuitOutput, PrivacyPreservingCircuitInput, PrivacyPreservingCircuitOutput,
}; };
const AUTHENTICATED_TRANSFER_PROGRAM_ID: [u32; 8] = [4009390658, 295818534, 2287042879, 2991817555, 298425691, 3426172222, 3671663086, 1858988641];
fn main() { fn main() {
let PrivacyPreservingCircuitInput { let PrivacyPreservingCircuitInput {
program_output, program_output,
@ -21,9 +19,8 @@ fn main() {
program_id, program_id,
} = env::read(); } = env::read();
// Check that `program_execution_proof` is one of the allowed built-in programs // TODO: Check that `program_execution_proof` is one of the allowed built-in programs
// TODO: Adapt when more builtin programs are added // assert_eq!(program_id, AUTHENTICATED_TRANSFER_PROGRAM_ID);
assert_eq!(program_id, AUTHENTICATED_TRANSFER_PROGRAM_ID);
// Check that `program_output` is consistent with the execution of the corresponding program. // Check that `program_output` is consistent with the execution of the corresponding program.
env::verify(program_id, &to_vec(&program_output).unwrap()).unwrap(); env::verify(program_id, &to_vec(&program_output).unwrap()).unwrap();