S2024:E16
Smart contracts are a frequent request for Monero, yet have significant questions about privacy, efficiency, and complexity. Any VM would have several pages for its specification, with opcodes debatable for years. The denial of service risk would threaten Monero’s stability, and the lack of privacy seen with most VMs would be unacceptable.
This talk will establish and go over a potential evolution for the protocol, where smart contracts are expressed in algebraic terms (creating a pure specification) and evaluated in constant time (being without a denial of service risk) while maintaining privacy of the contract code, inputs, and execution without a trusted setup.