Collected sources and patterns will appear here. Add from search, explore, or the patterns library.
Transaction -> ValidationResult
Verify a transaction's structural and business logic validity by running its input and output states through deterministic smart contract rules on the JVM.
Problem it solves
Verifying distributed state transitions without a global virtual machine.
Consumes
Emits
The real projects this mechanism was found in. Attribution is the point — this is how the best teams actually do it.