Pro upřesnění: konsensus (tj. blockchain) nemůže ověřit každou užitečnou vlastnost existuje mnohem širší soubor (nevyřešených) problémů, které lze řešit pomocí moderních verifikačních technik (ZK, FHE, TEE) Konkrétně se zajímám o problémový prostor ověřitelných sítí