Jag tror att abstrakta bevisarbetsflöden redan är här; ses i off-chain-beräkningen av zkProofs och aggregeringen av dessa bevis. Eftersom processen är asynkron gör det att kedjan kan fortsätta att bearbeta andra åtgärder, ungefär som vissa molntjänster fungerar. Den är redan här. När bevisningen blir skalbar och elastisk kommer beräkningsresurserna att utnyttjas bättre, och vi kommer att se högre maskinvarueffektivitet och prestanda. @fermah_xyz