stwo 2.0.0

Core library implementing the Circle STARK prover and verifier
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
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136

//! Tracing module for performance monitoring and span tracking.
//!
//! This module provides functionality to collect and analyze timing data for various
//! operations within the prover.

use std::collections::HashMap;
use std::sync::{Arc, Mutex};
use std::time::{Duration, Instant};

use itertools::Itertools;
use tracing::span::Attributes;
use tracing::{Id, Subscriber};
use tracing_subscriber::layer::Context;
use tracing_subscriber::registry::LookupSpan;
use tracing_subscriber::Layer;

pub struct SpanData {
    class: String,
    start: Instant,
}

#[derive(Clone, Default)]
pub struct SpanAccumulator {
    /// Active spans being tracked.
    spans: Arc<Mutex<HashMap<Id, SpanData>>>,
    /// Accumulated timing results.
    results: Arc<Mutex<HashMap<String, Duration>>>,
}
impl SpanAccumulator {
    /// Exports the collected timing data as a CSV string.
    ///
    /// # Returns
    ///
    /// A formatted string with two columns:
    /// - Label: The name of the span
    /// - Duration_ms: The total time spent in spans with that label, in milliseconds
    pub fn export_csv(&self) -> String {
        let mut out = String::from("Label,Duration_ms\n");
        for (label, duration) in self
            .results
            .lock()
            .unwrap()
            .iter()
            .sorted_by_key(|(label, _)| *label)
        {
            out.push_str(&format!("{},{}\n", label, duration.as_secs_f64() * 1000.0));
        }
        out
    }
}

impl<S> Layer<S> for SpanAccumulator
where
    S: Subscriber,
    S: for<'span> LookupSpan<'span>,
{
    fn on_new_span(&self, attrs: &Attributes<'_>, id: &Id, _ctx: Context<'_, S>) {
        let class = if let Some(class) = extract_class(attrs) {
            class
        } else {
            return;
        };

        let span_data = SpanData {
            class,
            // Start timing the span.
            start: Instant::now(),
        };

        // Assumes Ids are unique.
        self.spans.lock().unwrap().insert(id.clone(), span_data);
    }

    fn on_close(&self, id: Id, _ctx: Context<'_, S>) {
        // Add the elapsed time to the accumulated duration for this label.
        let mut spans = self.spans.lock().unwrap();
        if let Some(span) = spans.remove(&id) {
            let mut results = self.results.lock().unwrap();
            let key = span.class;
            let entry = results.entry(key).or_insert(Duration::ZERO);

            *entry += span.start.elapsed();
        }
    }
}

fn extract_class(attrs: &Attributes<'_>) -> Option<String> {
    let mut visitor = ClassFieldVisitor::default();
    attrs.record(&mut visitor);
    visitor.class_value
}

#[derive(Default)]
struct ClassFieldVisitor {
    class_value: Option<String>,
}

impl tracing::field::Visit for ClassFieldVisitor {
    fn record_str(&mut self, field: &tracing::field::Field, value: &str) {
        if field.name() == "class" {
            self.class_value = Some(value.to_string());
        }
    }

    fn record_debug(&mut self, _field: &tracing::field::Field, _value: &dyn std::fmt::Debug) {
        // Do nothing.
    }
}

#[cfg(test)]
mod tests {
    use tracing_subscriber::layer::SubscriberExt;
    use tracing_subscriber::Registry;

    use super::*;

    #[test]
    fn test_span_accumulator() {
        let collector = SpanAccumulator::default();
        let layer = collector.clone();
        let subscriber = Registry::default().with(layer);
        let _guard = tracing::subscriber::set_default(subscriber);

        let span1 = tracing::span!(tracing::Level::INFO, "span1", class = "class1").entered();
        let span2 = tracing::span!(tracing::Level::INFO, "span2", class = "class2").entered();
        let span3 = tracing::span!(tracing::Level::INFO, "span3", class = "class1").entered();
        drop(span1);
        drop(span2);
        drop(span3);

        let results = collector.results.lock().unwrap();
        assert_eq!(results.len(), 2);
        assert!(results.contains_key("class1"));
        assert!(results.contains_key("class2"));
    }
}