Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Zilliqa Next Gen High Throughput Blockchain Pla...

yamarkz
April 13, 2018

Zilliqa Next Gen High Throughput Blockchain Platform

blockchai.tokyo #7 での発表資料です。

https://www.zilliqa.com/

yamarkz

April 13, 2018
Tweet

More Decks by yamarkz

Other Decks in Technology

Transcript

  1. “ ” ZILLIQA /‘ZILIKƏ/ NEXT GEN HIGH-THROUGHPUT BLOCKCHAIN PLATFORM DONG

    XINSHU, CEO JIA YAOQI, BLOCKCHAIN ARCHITECT ZILLIQA.COM @ZILLIQA
  2. “ ” INCREASING BLOCK SIZE? NOT A 100X SCALING FACTOR,

    DUE TO COMPUTATIONAL AND BANDWIDTH LIMITATIONS ZILLIQA.COM @ZILLIQA
  3. “ ” OFF-CHAIN TRANSACTIONS MORE APPLICABLE TO PAYMENTS OPENNESS? TRANSPARENCY?

    DECENTRALIZATION? ZILLIQA.COM @ZILLIQA Raiden Network
  4. 1,800 NODES 2,400 NODES 3,600 NODES 3 SHARDS 4 SHARDS

    6 SHARDS 1,218 1,752 2,488 INCREASING THROUGHPUT ZILLIQA: SCALES WITH NETWORK SIZE ZILLIQA.COM @ZILLIQA
  5. WE HAVE PUT THEORY INTO PRACTICE ZILLIQA.COM @ZILLIQA “ ”

    A SECURE SHARDING PROTOCOL FOR OPEN BLOCKCHAINS (2015) LOI LUU, PRATEEK SAXENA
  6. PRIOR DEPLOYMENT “ ” OTC TRADING: A TRIAL WITH A

    REGIONAL EXCHANGE & BANKS PRICE/PARTICIPANT DISCOVERY, SETTLEMENT, ANONYMITY “ ” DEPLOYING FOR AN E-COMMERCE APPLICATION IN SHIPPING INEFFICIENCY, DISPUTES, DELAYS ZILLIQA.COM @ZILLIQA
  7. ZILLIQA: A NEW PUBLIC BLOCKCHAIN “ ” ZILLIQA.COM @ZILLIQA DATA-FLOW

    & SHARDING-FRIENDLY SMART CONTRACTS MINER FRIENDLY: LOWER COST, STABLE REWARDS, COMPATIBLE TO ETHASH 200X AND MORE HIGHER THROUGHPUT, BUILT TO SCALE MUCH LOWER TX FEE FOR USERS
  8. ZILLIQA.COM @ZILLIQA “ ” DIGITAL ADVERTISING MULTIPLE CHALLENGES, INCLUDING: INEFFICIENCY

    FRAGMENTATION AD FRAUD: $16.4BN/YR AD BLOCKING: $41.4BN/YR MANY MIDDLE LAYERS NON-COMPLIANCE TO COPYRIGHTS
  9. ZILLIQA.COM @ZILLIQA “ ” BLOCKCHAIN-BASED ADVERTISING SUPPLY CHAIN MARKETERS DEMAND

    SMART CONTRACTS IMPRESSION VOLUME DELIVER DEADLINE TARGETED GROUPS OF USERS GEOGRAPHIC RESTRICTIONS PUBLISHERS SUPPLY SMART CONTRACTS SMART CONTRACTS ARE MATCHED AND AUDITED IMPRESSIONS SATISFACTION OF DEMANDS PAYMENTS INVENTORY AVAILABLE INVENTORY DESCRIPTORS
  10. ZILLIQA.COM @ZILLIQA “ ” BLOCKCHAIN-BASED ADVERTISING SUPPLY CHAIN BENEFITS TRANSPARENT

    ADVERTISING NETWORK OPEN MARKET ANALYSIS ENSURE TIMELINESS OF ADS CONTENT DELIVERY ACCOUNTABILITY RESPONSIBLE CONTENT DELIVERY
  11. ZILLIQA.COM @ZILLIQA “ ” REQUIREMENTS FOR BLOCKCHAIN CORRECTNESS & FAIRNESS

    HIGH VOLUME TRANSACTIONS REAL TIME PARALLEL BIDDING SCALABLE THROUGHPUT WITH NETWORK SHARDING EFFICIENT PROCESSING WITH COMPUTATIONAL SHARDING DATA-FLOW SMART CONTRACTS SIMPLE ABSTRACTIONS AMENABLE TO VERIFICATION VOLUME MISMATCH BILLIONS OF ADS/DAY VS. 1 MILLION TXS/DAY ON ETHEREUM SMART CONTRACTS TOO COMPLEX TO REASON ABOUT
  12. ZILLIQA.COM @ZILLIQA “ ” dAPPS OTHER PARALLEL AUCTIONS PAYMENT NETWORKS

    SHARED ECONOMY SCIENTIFIC COMPUTING HIGH ASSURANCE COMPUTATION
  13. “ ” NETWORK SHARDING DIVIDE AND CONQUER IN PARALLEL CONQUER


    A DEDICATED GROUP COMBINES OUTPUTS FROM EACH SHARD AND REACHES CONSENSUS ON IT. DIVIDE NETWORK DIVIDED INTO GROUPS, CALLED SHARDS EACH SHARD RUNNING CONSENSUS PROTOCOL ZILLIQA.COM @ZILLIQA
  14. ZILLIQA.COM @ZILLIQA “ ” SAFE & EFFICIENT CONSENSUS KEY INGREDIENTS

    PRACTICAL BYZANTINE FAULT TOLERANCE 01 Immediate finality of blocks High message complexity COLLECTIVE SIGNING 02 Highly efficient signature scheme for multiple parties Same signature size for 1 or N parties ZILLIQA’S CONSENSUS PROTOCOL 03 PBFT + Collective Signing Security & performance enhancements
  15. ZILLIQA.COM @ZILLIQA “ CONSENSUS PROTOCOL Consensus Protocol Nakamoto PBFT EFFICIENT

    ENERGY SAVING FINALITY ” Pre-Prepare Prepare Commit Reply Request Block 3 Block 2 Block 1 Block 4
  16. ZILLIQA.COM @ZILLIQA “ CONSENSUS AND SIGNATURE AGGREGATION Consensus Protocol Nakamoto

    PBFT Digital Signature Signature Scheme EFFICIENT ENERGY SAVING FINALITY ” Multi Signature SMALL SIG SIZE LOW COMM OVERHEAD
  17. ZILLIQA.COM @ZILLIQA “ ” PROFITABLE MINING & LOW-COST USAGE LOWER

    ENERGY COST STABLE REWARDS LOWER TX FEE PoW only used for sybil defense; not consensus More even payout with lower variance Users no longer need to compete for the few Tx/s
  18. ZILLIQA.COM @ZILLIQA “ ” SCILLA AUTOMATA-BASED LANGUAGE Press for 1s

    Press Press Press for 2 s NON-TURING COMPLETE AMENABLE TO FORMAL VERIFICATION CLEAN SEPARATION: COMMUNICATION VS COMPUTATION DECIDABLE CONTRACTS OFF DIM BRIGHT
  19. ZILLIQA.COM @ZILLIQA “ ” KICKSTARTER IN SCILLA transition Donate (sender

    : address, value : uint, tag : string) IMMUTABLE PARAMS contract Crowdfunding (owner : address, deadline : uint, goal : unit) MUTABLE STATE backers : address 㱺 uint = []; success : boolean = false; STATE TRANSITIONS transition Reclaim (sender : address, value : uint, tag : string)
  20. function reclaim { uint amount = backers[msg.sender] if(msg.sender.call.value(amount) == false)

    throw // reset the amount for sender backers[msg.sender] = 0; } “ ” DAO INCIDENT SEND CALLBACK INSTRUCTION NEVER EXECUTED SOLIDITY
  21. “ ” PREVENTING DAO INCIDENT SECURITY RECOMMENDATION // THIS CONTRACT

    HAS A BUG, DO NOT USE function reclaim { uint amount = backers[msg.sender]; if(msg.sender.call.value(amount) == false) throw // reset the amount for sender backers[msg.sender] = 0; } // SAFE TO USE function reclaim { uint amount = backers[msg.sender]; backers[msg.sender] = 0; msg.sender.transfer(amount); } CHECKS-EFFECTS-INTERACTIONS
  22. “ ” PREVENTING DAO INCIDENT AT THE LANGUAGE LEVEL transition

    Reclaim // Check if the sender is eligible to reclaim if ( … ) send (<to → sender, amount → 0, tag → “main", msg → "failure">, MT) else // remove sender from the list let v = get(backers, sender) in backers := remove(backers, sender); send (<to → sender, amount → v, tag → “main", msg → "refunded">, MT) SCILLA SOLIDITY EXTERNAL CALLS ALWAYS HAPPEN AT THE END REENTRANCY FREE // SAFE TO USE function reclaim { uint amount = backers[msg.sender]; backers[msg.sender] = 0; msg.sender.transfer(amount); }
  23. Lemma 3: Each contributor is refunded the right amount. Lemma

    1: Contract will have enough funds to refund. ZILLIQA.COM @ZILLIQA “ ” FORMAL VERIFICATION USING COQ SCILLA + COQ Lemma 2: Contract will not alter its contribution records.
  24. ZILLIQA.COM @ZILLIQA “ ” ONGOING WORK SHARDING- FRIENDLY SOLIDITY-LIKE SYNTAX

    FOR PROGRAMMERS WORK WITH COMPUTATIONAL SHARDING FOR BUDGETED SECURITY
  25. ZILLIQA.COM @ZILLIQA “ ” WHERE ARE WE NOW? 2,488 TX/S

    FOR 3,600 NODES MORE FEATURES UNDERWAY INTENSIVE TESTING & OPTIMISATION SMART CONTRACT SPECS WORKING PROTOTYPE TESTED ON AWS EC2
  26. ZILLIQA.COM @ZILLIQA “ ” NEAR TERM ROADMAP RELEASING TESTNET V1.0

    Q1 2018 SMART CONTRACT ALPHA Q2 2018 RELEASING TESTNET V2.0 Q2 2018 SMART CONTRACT BETA Q3 2018 MAIN NET LAUNCH Q3 2018 ANCHOR APP RELEASE Q4 2018 SOURCE CODE RELEASE Q1 2018
  27. ZILLIQA.COM @ZILLIQA “ ” FUTURE PLANS CONTINUAL RESEARCH & DEVELOPMENT

    EXPLORE WAYS TO SUPPORT DAPPS FROM OTHER CHAINS RESEARCH COLLABORATION WITH COMMUNITIES