~/conference

Devcon 2

date:2016-09-19..2016-09-21
location:Shanghai, China
series:Devcon 2 · one edition
titleauthorlength
Welcome & Introduction PanelMing Chan, Martin Becze, Péter Szilágyi, Dr. Christian Reitwiessner, Alex Van de Sande, Viktor Trón, Vitalik Buterin18m
Opening panel lists concrete engineering progress: a new Go client branch with a modular JIT and interpreter work, a browser light client landing, a C++…
Panel on
Regulatory Considerations for Dapp DevelopmentMing Chan, Peter Van Valkenburgh23m
Coin Center explains how US securities law applies to token sales using the Howey test and concrete legal history (orange grove case). Tokens avoid being…
Talk on
Ethereum in 25 MinutesVitalik Buterin25m
A concise technical tour of Ethereum’s design and history: launched conceptually in 2013 to move beyond Bitcoin’s single-purpose ledger to a general platform…
Talk on
State Channels Systemic Security Considerations and SolutionsJoseph Poon15m
Proposes concrete state channel primitives: require a single-enforcer rule so only one party can publish a given state, use fidelity bonds (refundable if…
Talk on
The Mauve RevolutionVitalik Buterin27m
Casper implements proof of stake where validators deposit to a Casper contract, become active after ~12‑24 hours, can start withdrawal with a delay, and incur…
Talk on
A Correct by Construction Asynchronous Casper ProtocolVlad Zamfir21m
Claims a correct-by-construction asynchronous Byzantine‑fault‑tolerant binary Casper that decides a single bit by proving when an estimate cannot be changed…
Talk on
Ethereum On RubyJan Xie15m
A Ruby implementation of Ethereum used by Cryptape powers a test and deployment stack that compiles Solidity, runs bytecode on a Ruby VM no mining, instant VM…
Talk on
Ethereum for Resource Limited DevicesBob Summerwill19m
Roadmap reports a working cross-compiled C++ client built with Docker and bash scripts, first successful cross-built binary in November and an ongoing…
Talk on
Designs for the L4 Contract Programming Language Based on Deontic Modal LogicVirgil Griffith, Vikram Verma19m
Proposes L4, a DSL that encodes obligations, permissions and prohibitions via the deontic modal μ-calculus and compiles to automata for decidable trace…
Talk on
Zcash + Ethereum = ❤Zuko Wilcox21m
Zcash encrypts sender, receiver and amount on-chain and uses zk-SNARKs so validators can verify validity without seeing details, enabling selective disclosure…
Talk on
A Lap Around Developing CryptletsMarley Gray23m
Describes how Cryptlets (CRiET) run as off‑chain services that a smart contract references via a crypto delegate, using Intel SGX enclaves to produce three‑way…
Talk on
Sikorka – Ethereum Meets the OutdoorsLefteris Karapetsas12m
Sikorka deploys Ethereum contracts tied to GPS coordinates and verifies users with a proof-of-presence workflow: integer lat/long in Solidity, a challenge…
Talk on
Smart Contract SecurityChristoph Jentzsch12m
Covers the DAO reentrancy exploit that drained 3.5 million ether and lists concrete defenses: add invariant checks to assert totalSupply relations, design…
Talk on
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.