Brooklyn Zelenka
Brooklyn Zelenka
# Why This is Interesting Distinguishes correctness vs fairness. Description of verification approach (and prior art) and their system semantics. Large-scale analysis of existing contracts on Ethereum and Fabric. #...
> traces the FBI seizure of $28.5M in Bitcoin through a network analysis” http://people.csail.mit.edu/spillai/data/papers/bitcoin-transaction-graph-analysis.pdf
> it may be useful to give an indication of time available. and if people want to use slides/etc or whiteboard, those are available too [...] duration of presenter time,...
# Why This is Interesting Pact is an attempt at a LISP smart contract language that is "immutable, deterministic, and Turing-incomplete, fighting bugs and exploits while offering the full power...
https://saftproject.com/static/SAFT-Project-Whitepaper.pdf
https://s3.amazonaws.com/cakecodes/pdf/storm_web/STORM_Token_White_Paper_Market_Research_Network_Development_vFINAL_.pdf
Complete Semantics of the Ethereum Virtual Machine https://www.ideals.illinois.edu/bitstream/handle/2142/97207/hildenbrandt-saxena-zhu-rodrigues-guth-daian-rosu-2017-tr_0818.pdf?sequence=3&isAllowed=y