Function pocket_prover::ps_core

source · [−]
pub fn ps_core(a: u64, b: u64, c: u64, d: u64) -> u64
Expand description

Assumes the path semantical core axiom.