XXV

XXV：高レベルの仕様からプログラムを自動生成するProgram Synthesis（プログラム合成）を使ってソースコードの合成や自動解析を実行し、ブロックチェーンによる正しいスマートコントラクトを実現するシステムを開発する。Y Combinator Accereratorを卒業し、シードラウンドでKhosla Ventures and Pantera Capitalなどから550万米ドルの投資を受けている。