零知識證明即將應用於驗證者會計。 @LidoFinance 的新 zk-Oracle 使用 SP1 驗證以太坊上驗證者餘額的變化，為用戶提供更強的保證，確保獎勵和餘額的正確性。