SP1 Hypercube отримує мільярди в TVL. Правильність її обмежень RISC-V не повинна залежати лише від тестування. У партнерстві з @SuccinctLabs та підтримуваних @ethereumfndn @NethermindSec офіційно перевірили всі 62 основні опкоди відповідно до офіційної специфікації RISC-V Sail у Lean. Жорсткі формальні методи, застосовані до інфраструктури продуктивного ZK. Вітаю з mainnet