I'm going through the youtube video of the eDollar presentation. Great work, @Rune23
. In the video (1:26:20), you speak about a future, where anyone could go through a smart contract and verify that it works the way it "should work". Just today, I highlighted in the forum here: https://forum.ethereum.org/discussion/1559/smart-contract-repository-feedback-welcome#latest
how smart-contract visualizing tool should be very helpful for users.