Весь CEX держится на сегменте конфиденциальности, это немного удивительно, а Rail, который был на блокчейне год назад, снова всплыл, как любимец В. Бога, но, к сожалению, это было слишком рано, стоит взглянуть на новые проекты, связанные с конфиденциальностью в новом цикле. Команда по безопасной формальной верификации Nethermind совместно с Succinct Labs официально проверила правильность всех основных чипов RV-64 zkVM SP1 Hypercube RISC-V в помощнике Lean.