An embedded contract DSL and toolchain for doughnuts in the TRN permission domain.
Pact contracts are written in a simple bytecode and execute against dynamic input data to ensure their invariants are upheld.
It is designed for integration with the TRN blockchain runtime to enable safe, powerful delegated transactions.