IMHO this needs a new language that acts like VHDL or Verilog. Language level constructs that make contract writing possible. I think Ethereum Smart Contracts

IMHO this needs a new language that acts like VHDL or Verilog. Language level constructs that make contract writing possible. I think Ethereum Smart Contracts are a good first step. It is independent of the blockchain concept though.