標籤： ZK證明

在 ETHDenver 的 InterOp 高峰會上，Axelar 創辦人 Sergey Gorbunov 宣布推出 Axelar 虛擬機，以利用 zk-proofs 和人工智慧促進 web3 生態系統的發展。