Expand description
§Simplicity jets
Jets are special nodes that read a value, process it internally, and write an output value. This evaluation happens in a black-box manner: In terms of the Bit Machine, it is a one-step process.
In practice, jets call foreign C code that is equivalent to some Simplicity DAG. This speeds up evaluation tremendously. Equivalence of C and Simplicity is proved using the Verified Software Toolchain. Programs are also smaller in size because jets replace large, equivalent Simplicity DAGs.
Modules§
Structs§
- JetFailed
- Generic error that a jet failed during its execution.
Enums§
Traits§
- Jet
- Family of jets that share an encoding scheme and execution environment.