Struct BitInteractiveTranscript

Source

pub struct BitInteractiveTranscript { /* private fields */ }

Expand description

An ordered transcript with semantic annotations.

Implementations§

Source §

impl BitInteractiveTranscript

Source

pub fn new(seed: &[u8]) -> Self

Creates an empty transcript bound to a private or public seed.

Only the domain-separated seed commitment appears in exported packets.

Examples found in repository ?

examples/drone_observation.rs (line 10)

3fn main() -> Result<(), Box<dyn std::error::Error>> {
4    let claim = LuminousClaim::new("drone-camera-frame-7842", 4096).with_viz_hints(VizHints {
5        color: Some([0, 200, 255]),
6        icon: Some("camera".into()),
7        layer_name: Some("perception-conv3".into()),
8    });
9
10    let mut transcript = BitInteractiveTranscript::new(b"drone-seed-7842");
11    transcript.record_round_with_note(
12        0,
13        &[0xde, 0xad, 0xbe, 0xef],
14        "sensor-processing",
15        "Raw sensor frame converted into features",
16    );
17    transcript.record_round_with_note(
18        1,
19        &[0x42],
20        "attention-head-7",
21        "Stop-sign feature strongly activated",
22    );
23
24    let luminous = SimpleLuminousSumcheck { claim, transcript };
25    let metadata = luminous.to_luminous_metadata();
26    let packet = luminous.to_viz_packet()?;
27    packet.verify()?;
28
29    println!("claim: {}", metadata.claim_id);
30    println!("transcript: {}", metadata.transcript_digest);
31    println!("{}", packet.to_json());
32    Ok(())
33}

Source

pub fn record_round_with_note( &mut self, round: u64, payload: &[u8], component: impl Into<String>, note: impl Into<String>, ) -> &mut Self

Records an annotated round and returns the transcript for chaining.

Structural limits and ordering are checked by SimpleLuminousSumcheck::to_viz_packet.

Examples found in repository ?

examples/drone_observation.rs (lines 11-16)

3fn main() -> Result<(), Box<dyn std::error::Error>> {
4    let claim = LuminousClaim::new("drone-camera-frame-7842", 4096).with_viz_hints(VizHints {
5        color: Some([0, 200, 255]),
6        icon: Some("camera".into()),
7        layer_name: Some("perception-conv3".into()),
8    });
9
10    let mut transcript = BitInteractiveTranscript::new(b"drone-seed-7842");
11    transcript.record_round_with_note(
12        0,
13        &[0xde, 0xad, 0xbe, 0xef],
14        "sensor-processing",
15        "Raw sensor frame converted into features",
16    );
17    transcript.record_round_with_note(
18        1,
19        &[0x42],
20        "attention-head-7",
21        "Stop-sign feature strongly activated",
22    );
23
24    let luminous = SimpleLuminousSumcheck { claim, transcript };
25    let metadata = luminous.to_luminous_metadata();
26    let packet = luminous.to_viz_packet()?;
27    packet.verify()?;
28
29    println!("claim: {}", metadata.claim_id);
30    println!("transcript: {}", metadata.transcript_digest);
31    println!("{}", packet.to_json());
32    Ok(())
33}