Uses zero-knowledge proof like ZK rollup, so it is more efficient and faster