Patent 11915023 was granted and assigned to Hiro Systems on February, 2024 by the United States Patent and Trademark Office.
A Turing incomplete smart contracting source code for use in a blockchain network is disclosed that allows for static analysis of a smart contract at the time of publishing.