logos-blockchain/logos-execution-zone
1
0
Fork 0
mirror of https://github.com/logos-blockchain/logos-execution-zone.git synced 2026-07-09 23:39:34 +00:00
Code Issues Packages Projects Releases Wiki Activity

feat(lee): add for_dummy nullifier and commitment derivations

Browse Source
This commit is contained in:
Artem Gureev 2026-07-03 14:03:53 +00:00 committed by agureev
parent 3ec074095d
commit 35df009837
2 changed files with 21 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
lee/state_machine/core/src/commitment.rs
View File

@ -2,7 +2,10 @@ use borsh::{BorshDeserialize, BorshSerialize};
use risc0_zkvm::sha::{Impl, Sha256 as _};
use serde::{Deserialize, Serialize};
use crate::account::{Account, AccountId};
use crate::{
Nullifier,
account::{Account, AccountId},
};
/// A commitment to all zero data.
/// ```python
@ -78,6 +81,15 @@ impl Commitment {
bytes.extend_from_slice(&account_bytes_with_hashed_data);
Self(Impl::hash_bytes(&bytes).as_bytes().try_into().unwrap())
}
#[must_use]
pub fn for_dummy(nullifier: &Nullifier, commitment_seed: &[u8; 32]) -> Self {
const DUMMY_PREFIX: &[u8; 32] = b"/LEE/v0.3/Commitment/Dummy/\x00\x00\x00\x00\x00";
let mut bytes = DUMMY_PREFIX.to_vec();
bytes.extend_from_slice(&nullifier.0);
bytes.extend_from_slice(commitment_seed);
Self(Impl::hash_bytes(&bytes).as_bytes().try_into().unwrap())
}
}
pub type CommitmentSetDigest = [u8; 32];

8
lee/state_machine/core/src/nullifier.rs
View File

@ -109,6 +109,14 @@ impl Nullifier {
bytes.extend_from_slice(account_id.value());
Self(Impl::hash_bytes(&bytes).as_bytes().try_into().unwrap())
}
#[must_use]
pub fn for_dummy(nullifier_seed: &[u8; 32]) -> Self {
const DUMMY_PREFIX: &[u8; 32] = b"/LEE/v0.3/Nullifier/Dummy/\x00\x00\x00\x00\x00\x00";
let mut bytes = DUMMY_PREFIX.to_vec();
bytes.extend_from_slice(nullifier_seed);
Self(Impl::hash_bytes(&bytes).as_bytes().try_into().unwrap())
}
}
#[cfg(test)]