aby wyjaśnić: konsensus (tj. blockchain) nie może zweryfikować każdej użytecznej właściwości istnieje znacznie szerszy zestaw (nierozwiązanych) problemów, które można rozwiązać za pomocą nowoczesnych technik weryfikacji (ZK, FHE, TEE) szczególnie interesuje mnie przestrzeń problemowa weryfikowalnego networkingu