rwasm 0.4.4

ZK-friendly WebAssembly runtime optimized for blockchain and zero-knowledge applications
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58

use crate::{CompilationError, TrapCode};
use alloc::vec::Vec;

pub fn checked_memory_range_end(offset: usize, length: usize) -> Result<usize, TrapCode> {
    offset
        .checked_add(length)
        .ok_or(TrapCode::MemoryOutOfBounds)
}

pub trait StoreTr<T> {
    fn memory_read(&mut self, offset: usize, buffer: &mut [u8]) -> Result<(), TrapCode>;

    fn memory_read_into_vec(&mut self, offset: usize, length: usize) -> Result<Vec<u8>, TrapCode>;

    fn memory_write(&mut self, offset: usize, buffer: &[u8]) -> Result<(), TrapCode>;

    fn data_mut(&mut self) -> &mut T;

    fn data(&self) -> &T;

    fn try_consume_fuel(&mut self, delta: u64) -> Result<(), TrapCode>;

    fn remaining_fuel(&self) -> Option<u64>;

    fn reset_fuel(&mut self, new_fuel_limit: u64);
}

pub trait CallerTr<T>: StoreTr<T> {}

#[derive(Debug)]
pub enum StrategyError {
    CompilationError(CompilationError),
    TrapCode(TrapCode),
}

impl From<CompilationError> for StrategyError {
    fn from(err: CompilationError) -> Self {
        StrategyError::CompilationError(err)
    }
}
impl From<TrapCode> for StrategyError {
    fn from(err: TrapCode) -> Self {
        StrategyError::TrapCode(err)
    }
}

#[cfg(test)]
mod tests {
    use super::*;

    #[test]
    fn checked_memory_range_end_rejects_overflow() {
        assert_eq!(
            checked_memory_range_end(usize::MAX, 1).unwrap_err(),
            TrapCode::MemoryOutOfBounds
        );
    }
}