SP1 Hypercube обеспечивает миллиарды в TVL. Корректность его ограничений RISC-V не должна основываться только на тестировании. В партнерстве с @SuccinctLabs и при поддержке @ethereumfndn, @NethermindSec формально проверил все 62 основных опкода в соответствии с официальной спецификацией RISC-V Sail в Lean. Жесткие формальные методы, применяемые к производственной zk инфраструктуре. Поздравляем с запуском в основной сети.