OceanSlim (nprofile…zaqm) is exploring this on Liquid using Simplicity - high-assurance smart contracts where the math is enforced cryptographically, not by trusted operators.
Slim will demo early work at Simplicity Office Hours on Tuesday!
Ask questions and see what's possible when smart contracts settle with cryptographic guarantees.
Simplicity Office Hours - Tuesday, March 31, 8:00 AM PT
https://docs.simplicity-lang.org/office-hours/