Valida

Valida 是一款基於 STARK 的虛擬機，專注於代碼重用、性能和模塊化。