Skip to main content

DF64_SCALAR_IDENTITY

Constant DF64_SCALAR_IDENTITY 

Source
pub const DF64_SCALAR_IDENTITY: &str = "tenferro-df64-proof.df64.v1";
Expand description

Canonical identity of the externally defined Df64 scalar.

A semantic program’s identity must be reproducible across processes, so the contribution that owns a scalar declares its stable name. This is the name a program carrying Df64 values reports instead of a process-local TypeId.