日経FinTech



第1章 北米

XXV

2019年11月01日(金)
日経FinTech編集部

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

この先は日経FinTechの会員のみがご覧いただけます

この記事は「日経FinTech」読者限定のコンテンツです。「日経FinTech」のご案内はこちらをご覧ください。