零知识证明即将应用于验证者会计。 @LidoFinance 的新 zk-Oracle 使用 SP1 验证以太坊上验证者余额的变化，为用户提供更强的保证，确保奖励和余额的正确性。