2025-06-18 13:56:09 +03:00
|
|
|
use std::cmp::Ordering;
|
|
|
|
|
|
2025-04-24 15:51:34 +03:00
|
|
|
use serde::{de::Error, Deserialize, Serialize};
|
2025-04-02 12:16:02 +03:00
|
|
|
|
|
|
|
|
use crate::SC_DATA_BLOB_SIZE;
|
|
|
|
|
|
2025-04-24 15:51:34 +03:00
|
|
|
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
|
|
|
|
|
pub struct DataBlob(pub [u8; SC_DATA_BLOB_SIZE]);
|
2025-04-02 12:16:02 +03:00
|
|
|
|
2025-04-24 15:51:34 +03:00
|
|
|
impl From<[u8; SC_DATA_BLOB_SIZE]> for DataBlob {
|
|
|
|
|
fn from(value: [u8; SC_DATA_BLOB_SIZE]) -> Self {
|
|
|
|
|
Self(value)
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
impl Serialize for DataBlob {
|
|
|
|
|
fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
|
|
|
|
|
where
|
|
|
|
|
S: serde::Serializer,
|
|
|
|
|
{
|
|
|
|
|
let data_vec = self.0.to_vec();
|
|
|
|
|
data_vec.serialize(serializer)
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
impl AsRef<[u8]> for DataBlob {
|
|
|
|
|
fn as_ref(&self) -> &[u8] {
|
|
|
|
|
self.0.as_ref()
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
impl<'de> Deserialize<'de> for DataBlob {
|
|
|
|
|
fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>
|
|
|
|
|
where
|
|
|
|
|
D: serde::Deserializer<'de>,
|
|
|
|
|
{
|
|
|
|
|
let data_vec = Vec::<u8>::deserialize(deserializer)?;
|
|
|
|
|
let chunk: [u8; SC_DATA_BLOB_SIZE] = data_vec
|
|
|
|
|
.try_into()
|
|
|
|
|
.map_err(|data| {
|
|
|
|
|
anyhow::anyhow!("failed to fit vec {data:?} to {:?}", SC_DATA_BLOB_SIZE)
|
|
|
|
|
})
|
|
|
|
|
.map_err(D::Error::custom)?;
|
|
|
|
|
Ok(Self(chunk))
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
impl DataBlob {
|
|
|
|
|
pub fn to_vec(&self) -> Vec<u8> {
|
|
|
|
|
self.0.to_vec()
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2025-06-18 13:56:09 +03:00
|
|
|
#[allow(clippy::large_enum_variant)]
|
2025-04-24 15:51:34 +03:00
|
|
|
#[derive(Debug, Clone, Copy, Serialize, Deserialize)]
|
2025-04-02 12:16:02 +03:00
|
|
|
pub enum DataBlobChangeVariant {
|
|
|
|
|
Created {
|
|
|
|
|
id: usize,
|
|
|
|
|
blob: DataBlob,
|
|
|
|
|
},
|
|
|
|
|
Modified {
|
|
|
|
|
id: usize,
|
|
|
|
|
blob_old: DataBlob,
|
|
|
|
|
blob_new: DataBlob,
|
|
|
|
|
},
|
|
|
|
|
Deleted {
|
|
|
|
|
id: usize,
|
|
|
|
|
},
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
///Produce `DataBlob` from vector of size <= `SC_DATA_BLOB_SIZE`
|
|
|
|
|
///
|
|
|
|
|
///Extends to `SC_DATA_BLOB_SIZE`, if necessary.
|
|
|
|
|
///
|
|
|
|
|
///Panics, if size > `SC_DATA_BLOB_SIZE`
|
|
|
|
|
pub fn produce_blob_from_fit_vec(data: Vec<u8>) -> DataBlob {
|
|
|
|
|
let data_len = data.len();
|
|
|
|
|
|
|
|
|
|
assert!(data_len <= SC_DATA_BLOB_SIZE);
|
2025-04-24 15:51:34 +03:00
|
|
|
let mut blob: DataBlob = [0; SC_DATA_BLOB_SIZE].into();
|
2025-04-02 12:16:02 +03:00
|
|
|
|
|
|
|
|
for (idx, item) in data.into_iter().enumerate() {
|
2025-04-24 15:51:34 +03:00
|
|
|
blob.0[idx] = item
|
2025-04-02 12:16:02 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
blob
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
///Creates blob list from generic serializable state
|
|
|
|
|
///
|
|
|
|
|
///`ToDo`: Find a way to align data in a way, to minimize read and write operations in db
|
|
|
|
|
pub fn produce_blob_list_from_sc_public_state<S: Serialize>(
|
|
|
|
|
state: &S,
|
|
|
|
|
) -> Result<Vec<DataBlob>, serde_json::Error> {
|
|
|
|
|
let mut blob_list = vec![];
|
|
|
|
|
|
|
|
|
|
let ser_data = serde_json::to_vec(state)?;
|
|
|
|
|
|
|
|
|
|
//`ToDo` Replace with `next_chunk` usage, when feature stabilizes in Rust
|
2025-04-03 18:37:36 -04:00
|
|
|
for i in 0..=(ser_data.len() / SC_DATA_BLOB_SIZE) {
|
2025-06-18 13:56:09 +03:00
|
|
|
let next_chunk: Vec<u8> = if (i + 1) * SC_DATA_BLOB_SIZE < ser_data.len() {
|
|
|
|
|
ser_data[(i * SC_DATA_BLOB_SIZE)..((i + 1) * SC_DATA_BLOB_SIZE)].to_vec()
|
2025-04-02 12:16:02 +03:00
|
|
|
} else {
|
2025-06-18 13:56:09 +03:00
|
|
|
ser_data[(i * SC_DATA_BLOB_SIZE)..(ser_data.len())].to_vec()
|
|
|
|
|
};
|
2025-04-02 12:16:02 +03:00
|
|
|
|
|
|
|
|
blob_list.push(produce_blob_from_fit_vec(next_chunk));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
Ok(blob_list)
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
///Compare two consecutive in time blob lists to produce list of modified ids
|
|
|
|
|
pub fn compare_blob_lists(
|
|
|
|
|
blob_list_old: &[DataBlob],
|
|
|
|
|
blob_list_new: &[DataBlob],
|
|
|
|
|
) -> Vec<DataBlobChangeVariant> {
|
|
|
|
|
let mut changed_ids = vec![];
|
|
|
|
|
let mut id_end = 0;
|
|
|
|
|
|
|
|
|
|
let old_len = blob_list_old.len();
|
|
|
|
|
let new_len = blob_list_new.len();
|
|
|
|
|
|
2025-06-18 13:56:09 +03:00
|
|
|
match old_len.cmp(&new_len) {
|
|
|
|
|
Ordering::Greater => {
|
|
|
|
|
for id in new_len..old_len {
|
|
|
|
|
changed_ids.push(DataBlobChangeVariant::Deleted { id });
|
|
|
|
|
}
|
2025-04-02 12:16:02 +03:00
|
|
|
}
|
2025-06-18 13:56:09 +03:00
|
|
|
Ordering::Less => {
|
|
|
|
|
for (id, blob_item) in blob_list_new.iter().enumerate().take(new_len).skip(old_len) {
|
|
|
|
|
changed_ids.push(DataBlobChangeVariant::Created {
|
|
|
|
|
id,
|
|
|
|
|
blob: *blob_item,
|
|
|
|
|
});
|
|
|
|
|
}
|
2025-04-02 12:16:02 +03:00
|
|
|
}
|
2025-06-18 13:56:09 +03:00
|
|
|
Ordering::Equal => {}
|
2025-04-02 12:16:02 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
loop {
|
|
|
|
|
let old_blob = blob_list_old.get(id_end);
|
|
|
|
|
let new_blob = blob_list_new.get(id_end);
|
|
|
|
|
|
|
|
|
|
match (old_blob, new_blob) {
|
|
|
|
|
(Some(old), Some(new)) => {
|
|
|
|
|
if old != new {
|
|
|
|
|
changed_ids.push(DataBlobChangeVariant::Modified {
|
|
|
|
|
id: id_end,
|
|
|
|
|
blob_old: *old,
|
|
|
|
|
blob_new: *new,
|
|
|
|
|
});
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
_ => break,
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
id_end += 1;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
changed_ids
|
|
|
|
|
}
|
2025-04-03 18:35:41 -04:00
|
|
|
|
|
|
|
|
#[cfg(test)]
|
|
|
|
|
mod tests {
|
|
|
|
|
use super::*;
|
|
|
|
|
use serde::Serialize;
|
|
|
|
|
|
|
|
|
|
const TEST_BLOB_SIZE: usize = 256; // Define a test blob size for simplicity
|
|
|
|
|
static SC_DATA_BLOB_SIZE: usize = TEST_BLOB_SIZE;
|
|
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
|
fn test_produce_blob_from_fit_vec() {
|
2025-06-18 13:56:09 +03:00
|
|
|
let data = (0..255).collect();
|
2025-04-03 18:35:41 -04:00
|
|
|
let blob = produce_blob_from_fit_vec(data);
|
2025-04-24 15:51:34 +03:00
|
|
|
assert_eq!(blob.0[..4], [0, 1, 2, 3]);
|
2025-04-03 18:35:41 -04:00
|
|
|
}
|
|
|
|
|
|
2025-04-03 18:36:06 -04:00
|
|
|
#[test]
|
|
|
|
|
#[should_panic]
|
|
|
|
|
fn test_produce_blob_from_fit_vec_panic() {
|
|
|
|
|
let data = vec![0; SC_DATA_BLOB_SIZE + 1];
|
|
|
|
|
let _ = produce_blob_from_fit_vec(data);
|
|
|
|
|
}
|
|
|
|
|
|
2025-04-03 18:36:24 -04:00
|
|
|
#[derive(Serialize)]
|
|
|
|
|
struct TestState {
|
|
|
|
|
a: u32,
|
|
|
|
|
b: u32,
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
|
fn test_produce_blob_list_from_sc_public_state() {
|
|
|
|
|
let state = TestState { a: 42, b: 99 };
|
|
|
|
|
let result = produce_blob_list_from_sc_public_state(&state).unwrap();
|
|
|
|
|
assert!(!result.is_empty());
|
|
|
|
|
}
|
|
|
|
|
|
2025-04-03 18:36:44 -04:00
|
|
|
#[test]
|
|
|
|
|
fn test_compare_blob_lists_created() {
|
|
|
|
|
let old_list: Vec<DataBlob> = vec![];
|
2025-04-24 15:51:34 +03:00
|
|
|
let new_list: Vec<DataBlob> = vec![[1; SC_DATA_BLOB_SIZE].into()];
|
2025-04-03 18:36:44 -04:00
|
|
|
|
|
|
|
|
let changes = compare_blob_lists(&old_list, &new_list);
|
|
|
|
|
assert_eq!(changes.len(), 1);
|
|
|
|
|
assert!(matches!(changes[0], DataBlobChangeVariant::Created { .. }));
|
|
|
|
|
}
|
|
|
|
|
|
2025-04-03 18:37:05 -04:00
|
|
|
#[test]
|
|
|
|
|
fn test_compare_blob_lists_deleted() {
|
2025-04-24 15:51:34 +03:00
|
|
|
let old_list: Vec<DataBlob> = vec![[1; SC_DATA_BLOB_SIZE].into()];
|
2025-04-03 18:37:05 -04:00
|
|
|
let new_list: Vec<DataBlob> = vec![];
|
|
|
|
|
|
|
|
|
|
let changes = compare_blob_lists(&old_list, &new_list);
|
|
|
|
|
assert_eq!(changes.len(), 1);
|
|
|
|
|
assert!(matches!(changes[0], DataBlobChangeVariant::Deleted { .. }));
|
|
|
|
|
}
|
|
|
|
|
|
2025-04-03 18:37:23 -04:00
|
|
|
#[test]
|
|
|
|
|
fn test_compare_blob_lists_modified() {
|
2025-04-24 15:51:34 +03:00
|
|
|
let old_list: Vec<DataBlob> = vec![[1; SC_DATA_BLOB_SIZE].into()];
|
|
|
|
|
let new_list: Vec<DataBlob> = vec![[2; SC_DATA_BLOB_SIZE].into()];
|
2025-04-03 18:35:41 -04:00
|
|
|
|
2025-04-03 18:37:23 -04:00
|
|
|
let changes = compare_blob_lists(&old_list, &new_list);
|
|
|
|
|
assert_eq!(changes.len(), 1);
|
|
|
|
|
assert!(matches!(changes[0], DataBlobChangeVariant::Modified { .. }));
|
|
|
|
|
}
|
2025-04-03 18:35:41 -04:00
|
|
|
}
|