Do účetnictví validátorů přicházejí důkazy s nulovou znalostí. Nový zk-Oracle od @LidoFinance ověřuje změny zůstatku validátoru na Ethereu pomocí SP1, což uživatelům poskytuje silnější záruky, že odměny a zůstatky jsou správné.