Valida

ValidaはSTARKに基づく仮想マシンで、コードの再利用、パフォーマンス、モジュール性に重点を置いています。