Náš tým formální verifikace formalizoval vyčíslitelné vícerozměrné polynomy v Lean. cc @leanprover
To je základ pro silnější, strojově ověřené uvažování v zk důkazech a návrhu protokolů.
🔗
1/
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é.
