Module simplicity_sys::ffi::dag

Structs§

CAnalyses
Static analyses for a particular node of a Simplicity DAG
CChild2
Anonymous
CCombinatorCounters
Used to count the different kinds of combinators in a Simplicity DAG.
CDagNode
CSourceIx
Anonymous

c_mkJetCMR
Convenience wrapper around mkJetCMR that operates on u8 bytes instead of u32
computeAnnotatedMerkleRoot^⚠
Given a well-typed dag representing a Simplicity expression, compute the annotated Merkle roots of all subexpressions.
computeCommitmentMerkleRoot^⚠
Given a well-formed dag[i + 1], set the cmr field of every node in dag
computeWordCMR^⚠
Compute the CMR of a jet of scribe(v) : ONE |- TWO^(2^n) that outputs a given bitstring
fillWitnessData^⚠
Fills in the ‘WITNESS’ nodes of a ‘dag’ with the data from ‘witness’
mkJetCMR^⚠
Given the IMR of a jet specification, return the CMR of a jet that implements that specification
verifyCanonicalOrder^⚠
Verifies that the ‘dag’ is in canonical order, meaning that nodes under the left branches have lower indices than nodes under
verifyNoDuplicateIdentityRoots^⚠
Computes the identity Merkle roots of every subexpression in a well-typed ‘dag’ with witnesses .