dig-capsule 0.5.0

The DIG Network .dig capsule data plane — one crate over the DIGS format, capsule read-crypto, compiler, staging, and the guest/host serve triad.
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

use crate::imp::core::codec::{Decode, Encode};
use crate::imp::core::wire::{ChiaBlockRef, ExecutionProof, ProofResponse};
use crate::imp::core::{Bytes32, Bytes48, Bytes96};

fn sample_proof() -> ExecutionProof {
    ExecutionProof {
        program_hash: Bytes32([1; 32]),
        public_input: vec![1, 2, 3],
        public_output: Bytes32([2; 32]),
        proof: vec![9, 9, 9, 9],
        chia_block: ChiaBlockRef {
            header_hash: Bytes32([3; 32]),
            height: 42,
            timestamp: 1_700_000_000,
        },
        node_pubkey: Bytes48([4; 48]),
        node_signature: Bytes96([5; 96]),
    }
}

#[test]
fn chia_block_ref_roundtrip() {
    let b = ChiaBlockRef {
        header_hash: Bytes32([7; 32]),
        height: 1000,
        timestamp: 1_650_000_000,
    };
    assert_eq!(ChiaBlockRef::from_bytes(&b.to_bytes()).unwrap(), b);
}

#[test]
fn execution_proof_roundtrip() {
    let p = sample_proof();
    assert_eq!(ExecutionProof::from_bytes(&p.to_bytes()).unwrap(), p);
}

#[test]
fn proof_response_roundtrip() {
    let r = ProofResponse {
        proof: sample_proof(),
        roothash: Bytes32([8; 32]),
    };
    assert_eq!(ProofResponse::from_bytes(&r.to_bytes()).unwrap(), r);
}