Zero-knowledge systems are only as strong as their proofs. Read how Nethermind Security leveraged its experience across circuits, verifiers, and proof systems to audit @LidoFinance’s zk-Oracle to ensure secure validator accounting before mainnet. ⬇️ (Nethermind)