Ultraviolet Network
@UVioletAI
Ultra-scalable bitcoin smart contracts L2 (20 millions TPS)
Joined July 2017
623 Following 7.3K Followers
The dawn of the age of smart contracts which are correct by construction and formally verified to be safe
I have spent a lot of my time over the last two years designing a programming language which allows to (relatively easy) write a correct by construction code, i.e a code which formally verifies itself and does a lot of logic at compile time.
The language is called cation @CationLang, which is a feneric programming language. Its dialect Contractum is made for smart contracts running @UVioletAI (RGB successor and superset).
You may think of it as Lean 4, but able to do what you usually do with Zig.
The new age of vulnerability discoveries highlights the importance of such language. Human programming is still at the amateur stage, and we need a new generation of tools to write software which is provably safe.
Show more
