owned this note   changed 7 years ago  
Linked with GitHub

Ethereum Casper FFG Contract - 梁智程

歡迎來到 https://hackmd.io/c/COSCUP2018 共筆

Image Not Showing Possible Reasons
  • The image file may be corrupted
  • The server hosting the image is unavailable
  • The image path is incorrect
  • The image format is not supported
Learn More →

點擊本頁上方的 開始用 Markdown 一起寫筆記！
手機版請點選上方 按鈕展開議程列表。

slides

Speaker

Chih-Cheng Liang

  • Researcher @ Ethereum Research
  • Co-organizer @ Taipei Ethereum Meetup

About FFG contract

Ethereum Casper

  • casper/casper/contracts/simple_casper.v.py

The evolution

  • Current state: Contract deprecated. :\
  • Casper + Sharding new roadmap.

What FFG trying to achieve?

Genesis <- block 1 <- block 2 <- block 3 <- ...
  • But what if there is a single miner can get block 5 much faster than anyone else?

Checkpoint

  • In FFG, every 50 block forms a epoch, with a checkpoint.

  • is an ordered pair of checkpoints(a, b)

  • at least 2/3 validators have piblished votes with source a and b

  • checkpoint c is called justified if

    1. it is root
    2. supermajority link c' -> c exists, where c' is justified

  • check point c is called finalized if there is a supermajority link c -> c', where c' is a direct child of c

Implementation

Language of choice: Vyper

  • python-like language
  • security focused language
  • no modifiers
  • no class inheritance
  • no inline assembly

Why deprecate the contract?

  • Progress in block proposer, sharding
  • duplucate work of implementation and formal verification
  • protocol transition would be hard because
    • current contract on EVM
    • want future chain on EWASM
  • issue of the contract
    • deployment requires 800M gas
    • lose the multi-client risk diversification benifit
tags: COSCUP2018 source
Select a repo