Tezos: Yay or Nay voting period started, Tezos node/shell in rustlang demo, transcription of the 5 security audits for the Tezos, consensus upgrades (Tendermint-based) and formal verification — Steemit