u/davidw_-
r/programming r/zeroknowledge r/RISCV r/crypto r/ethereum r/auditing r/cryptography r/ProgrammingLanguages r/Coq r/security r/ethdev
The Audit Register: An independent guide to choosing security auditors and harnesses
theauditregister.comu/davidw_- — 8 days ago