Hi-Con 2018 has ended
Back To Schedule
Saturday, November 10 • 13:50 - 14:30
[ja][B] A new protocol for assuring smart contract behaviour

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Feedback form is now closed.
A new protocol for assuring smart contract behaviour

Smart contracts are immutable pieces of code on a blockchain which often handle large sums of money. Pre-deployment, many contracts undergo security audits and are subjected to static analysis in order to find errors and issues; however, there are no options for ensuring correctness of a contract once it has been deployed. This talk describes a novel decentralized protocol that provides a layer of economic assurance for the correctness of a deployed smart contract. The protocol deems a smart contract to be correct if it does not perform some user-defined behaviour. The protocol periodically rewards participants who place a collateral stake on the behaviour of a smart contract; participants lose this stake in the event that the contract misbehaves. The protocol enables economic assurance for arbitrary stakeholders of a contract, allowing these stakeholders to recover staked funds if a contract misbehaves. Stakeholders are not limited to the contract writers or owners, and anyone can stake collateral.

avatar for Yohei Oka

Yohei Oka

Forward Deployed Engineer, Quantstamp
Yohei is a full stack engineer with experience working at both startups and large tech companies. Before joining Quantstamp, Yohei was in Seattle working on Amazon Go, the no-checkout convenience store. He first got involved with blockchain through arbitrage and bot-trading and is... Read More →

Saturday November 10, 2018 13:50 - 14:30 JST
Track B
  Tech Talk
  • Lang JA

Attendees (2)