I had some discussions lately about the VeriSolid work (with @aalaszka when we were both at Vanderbilt) for correct-by-design Ethereum smart contracts. The first paper is https://t.co/fiFM2H48Ev. Also the journal paper below on how it can be applied to ER
362 followers
5,088 followers
@JallyWhiskey If you are interested. https://t.co/IWj5uH2h1d
5,088 followers
@tobysharp Please excuse my very rudementary explanation, but i am not a developer nor a mathematician and i very recently dived on the topics. (also hope i did not misunderstood anything on this so far) But here are the papers: https://t.co/IWj5uHjRSL
2,531 followers
Open Access UCL Research: TxProbe: Discovering Bitcoin’s Network Topology Using Orphan Transactions https://t.co/Z45obMjE1F