openvm-stark-backend 2.0.0

Multi-matrix STARK backend for the SWIRL proof system
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

//! Soundness analysis for the SWIRL proof system.

use p3_field::PrimeField64;

use crate::StarkProtocolConfig;

mod calculator;
mod vk;

pub use calculator::*;

/// Order `p` of the configured base field.
///
/// Not part of the public API: exposed only so concrete configs (e.g. in the SDK) can specialize
/// it without restating the formula.
#[doc(hidden)]
pub fn base_field_order<SC: StarkProtocolConfig>() -> f64 {
    SC::F::ORDER_U64 as f64
}

/// Number of bits in the challenge (extension) field: `D_EF * log2(|F|)`.
///
/// Derived from the configured extension degree (`StarkProtocolConfig::D_EF`), so it tracks
/// automatically if the extension field changes.
///
/// Not part of the public API: exposed only so concrete configs (e.g. in the SDK) can specialize
/// it without restating the formula.
#[doc(hidden)]
pub fn challenge_field_bits<SC: StarkProtocolConfig>() -> f64 {
    SC::D_EF as f64 * base_field_order::<SC>().log2()
}