Security Work: Prizes, Verification, Poseidon

Nico outlines proximity prizes, formal verification efforts, and Poseidon hash bounties to secure hash-based approaches.