Writings about web proofs, smart contracts security and more.