Valida

STARK-based VM

RISCにインスパイアされた命令セット

LLVM IRをValida ISAにコンパイルするバックエンド・コンパイラを開発中

Rust, Go, C++で書かれたプログラムの証明が可能

Prover performance

It is compatible with a 31-bit field, is restricted to degree 3 constraints, and has minimal instruction decoding.

VMは31ビット・フィールドと互換性があり、次数3の制約に制限され、最小限の命令デコードしか行わない

汎用レジスタや専用スタックを持たない

メモリ上で直接動作

クロスチップ通信に伴うトレース・オーバーヘッドを削減

新しいルックアップ引数を利用

カスタマイズ可能

任意の数のユーザー定義命令を含むように簡単に拡張できる

ロードマップ

個々のプログラム実行の超並列化証明のための再帰