För att utveckla: konsensus (dvs. blockchain) kan inte verifiera alla användbara egenskaper det finns en mycket bredare uppsättning (olösta) problem som kan lösas med hjälp av moderna verifieringstekniker (ZK, FHE, TEE) I synnerhet im intresserad av problemområdet för verifierbara nätverk