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