Submit a story or source

Suggesting a link for: EthSystems writeup formally verifies a shielded pool from written spec down to testnet bytecode, noting costs and limits