Crate simplicity

Re-exports

• pub extern crate bitcoin;
• pub extern crate byteorder;
• pub extern crate elements;
• pub extern crate hashes;
• pub extern crate hex;
• pub use crate::policy::sighash;
• pub use crate::policy::Policy;
• pub use crate::policy::Preimage32;
• pub use crate::policy::Satisfier;
• pub use crate::policy::SimplicityKey;
• pub use crate::policy::ToXOnlyPubkey;
• pub use crate::policy::Translator;
• pub use crate::bit_machine::BitMachine;
• pub use crate::node::CommitNode;
• pub use crate::node::ConstructNode;
• pub use crate::node::RedeemNode;
• pub use crate::node::WitnessNode;
• pub use simplicity_sys as ffi;

Modules

• bit_machine
  Simplicity Execution
• dag
  General DAG iteration utilities
• decode
  Decoding
• encode
  Encoding
• human_encoding
  The Simplicity Human-Readable Encoding
• jet
  Simplicity jets
• node
  Simplicity Program Nodes
• policy
  Function-like Expression Language
• types
  Types and Type Inference

Macros

• decode_bits
• impl_midstate_wrapper
  Convenience macro for wrappers of Midstate.
• impl_serde_string

Structs

• Amr
  Annotated Merkle root
• BitIter
  Bitwise iterator formed from a wrapped bytewise iterator. Bytes are interpreted big-endian, i.e. MSB is returned first
• BitWriter
  Bitwise writer formed by wrapping a bytewise io::Write. Bits are written in big-endian order. Bytes are filled with zeroes for padding.
• Cmr
  Commitment Merkle root
• Cost
  CPU cost of a Simplicity expression.
• EarlyEndOfStreamError
  Attempted to read from a bit iterator, but there was no more data
• FailEntropy
  512-bit opaque blob of data used to seed Fail nodes
• FirstPassImr
  Identity Merkle root (first pass)
• Imr
  Identity Merkle root
• NodeBounds
  Bounds on the resources required by a node during execution on the Bit Machine
• Tmr
  Type Merkle root

Enums

• Error
  Error type for simplicity
• Value
  Value of some type.

Functions

• encode_natural
  Encode a positive integer to bits.
• encode_value
  Encode a value to bits.
• encode_witness
  Encode witness data to bits.
• leaf_version
  Return the version of Simplicity leaves inside a tap tree.
• write_to_vec
  Write the result of a bit operation into a byte vector and return the vector.