Arbitrum Stack будет использовать новый SP1 Hypercube от Succinct 🟪 Поздравляем команду с формальной проверкой корректности ограничений RISC-V для SP1 Hypercube 👏 Новые функции, встроенные в SP1 Hypercube в сотрудничестве с @Offchain 🤝 @SuccinctLabs, включают mprotect и динамическую загрузку для проверки бинарных файлов Arbitrum Stylus на основе WASM, написанных на Rust и C, в дополнение к EVM (Solidity). В то время как предыдущие версии SP1, включая SP1 Turbo, были построены на архитектуре на основе STARK с использованием Plonky3, SP1 Hypercube полностью построен на многолинейных полиномах. Многолинейные полиномы похожи на прямоугольники, их легко укладывать, не оставляя пустого пространства. Эта эффективность упаковки напрямую переводится в более быструю производительность доказателя и более низкие затраты на ресурсы. Мы используем эту архитектуру для достижения передовых скоростей доказательства на потребительских GPU и для снижения затрат на доказательство, с улучшением до 5 раз для вычислительно тяжелых задач, таких как циклы и фибоначчи, и до 2 раз для задач с тяжелыми предкомпиляциями, таких как доказательство @Arbitrum по сравнению с SP1 Turbo (их предыдущая передовая zkVM).