Each node has to verify the validity of every computation the users send to the network on blockchains. One of the major bottlenecks of blockchains' scalability is how to increase computational bandwidth without increasing the verification cost, which is ultimately the decentralization guarantee of a blockchain. The higher the verification cost, th... See more