sp1-prover-types 6.2.1

Type definitions for the SP1 prover
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

use serde::{Deserialize, Serialize};
use sp1_core_machine::riscv::RiscvAir;
use sp1_hypercube::Machine;
use sp1_primitives::SP1Field;

/// A serializable placeholder for `Machine<SP1Field, RiscvAir<SP1Field>>`.
///
/// For now, all supported machines still round-trip to `RiscvAir::machine()`. Keeping this
/// wrapper in shared transport types preserves the machine slot in protocols for follow-up work.
#[derive(Debug, Clone, Copy, Serialize, Deserialize)]
pub struct SerializableRiscvMachine;

impl From<Machine<SP1Field, RiscvAir<SP1Field>>> for SerializableRiscvMachine {
    fn from(_: Machine<SP1Field, RiscvAir<SP1Field>>) -> Self {
        Self
    }
}

impl From<SerializableRiscvMachine> for Machine<SP1Field, RiscvAir<SP1Field>> {
    fn from(_: SerializableRiscvMachine) -> Self {
        RiscvAir::machine()
    }
}