Cały sektor CEX opiera się na prywatności, co jest dość niezwykłe, a Rail sprzed roku znów został przywołany jako ulubieniec V-god, niestety było to zbyt wcześnie, warto przyjrzeć się nowym projektom związanym z prywatnością w nowym cyklu. Zespół formalnej weryfikacji bezpieczeństwa Nethermind współpracuje z Succinct Labs, aby oficjalnie zweryfikować poprawność wszystkich rdzeni chipów RV-64 w SP1 Hypercube RISC-V zkVM w asystencie dowodowym Lean.