miden-precompiles-prover 0.29.2

Prover-side precompile implementations for the Miden VM deferred framework
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

//! Fixed environment loaded by verifier boundary consumes, not transcript claims.
//!
//! This is deterministic protocol data: [`Session`](super::Session) installs fixed uints in the
//! uint store, preseeds fixed curve groups in the EC group table, and records external `UintVal`
//! / `EcGroup` demands. Matching positive consumes are injected by
//! `ChipletMultiAir::eval_external`.

use miden_core::Felt;
use miden_precompiles::{CurveId, Limbs, UintDomain};

use crate::{ec::EcGroupMsg, uint::UintValMsg};

/// Fixed uints in dependency order: modulus/bound self-pins first, then coefficients under those
/// bounds.
pub(crate) fn fixed_uints() -> impl Iterator<Item = (u32, u32, Limbs)> {
    UintDomain::ALL
        .into_iter()
        .map(|domain| {
            let ptr = domain.bound_ptr();
            (ptr, ptr, domain.minus_one())
        })
        .chain(CurveId::ALL.into_iter().flat_map(|curve| {
            let bound_ptr = curve.base_domain().bound_ptr();
            [
                (curve.a_ptr(), bound_ptr, curve.a_value()),
                (curve.b_ptr(), bound_ptr, curve.b_value()),
            ]
        }))
}

/// Verifier-side `UintVal` consumes for the fixed uint environment.
pub(crate) fn fixed_uintval_msgs() -> impl Iterator<Item = UintValMsg<Felt>> {
    fixed_uints().map(|(ptr, bound_ptr, limbs)| UintValMsg {
        ptr: Felt::from(ptr),
        bound_ptr: Felt::from(bound_ptr),
        limbs: core::array::from_fn(|i| Felt::from(limbs[i])),
    })
}

/// Verifier-side `EcGroup` consumes for the fixed curve groups.
pub(crate) fn fixed_ecgroup_msgs() -> impl Iterator<Item = EcGroupMsg<Felt>> {
    CurveId::ALL.into_iter().map(|curve| EcGroupMsg {
        group_ptr: Felt::from(curve.group_ptr()),
        a_ptr: Felt::from(curve.a_ptr()),
        b_ptr: Felt::from(curve.b_ptr()),
        bound_ptr: Felt::from(curve.base_domain().bound_ptr()),
        scalar_bound_ptr: Felt::from(curve.scalar_domain().bound_ptr()),
    })
}