Blockstream x StarkWare: シンプルさ x STARK。 シンプルはガッドです。 証明はガッドです。 計算の完全性と表現力を備えていますが、安全性と制御性を備えています。 ハイパービットコイン化はここからは順調に見えます。

基本的には、STARK検証ツールを構築するためにSimplicityで遊んだことから始まりました。その後、実験についてBlockstreamの人々とやり取りし、VSコード拡張機能のようなSimplicityとSimplicityHL開発ツールに貢献することができました。また、Liquidの言語に関する経験に基づいて、開発指向のコンテンツもいくつか書きました。