Slide 1
Slide 1 text
“
”
ZILLIQA /‘ZILIKƏ/
NEXT GEN HIGH-THROUGHPUT
BLOCKCHAIN PLATFORM
DONG XINSHU, CEO
JIA YAOQI, BLOCKCHAIN ARCHITECT
ZILLIQA.COM
@ZILLIQA
Slide 2
Slide 2 text
“
”
SCALABILITY
OF PUBLIC BLOCKCHAIN
BITCOIN
7 TX/S
ZILLIQA.COM
@ZILLIQA
ETHEREUM
10 TX/S
VISA
8000 TX/S
Slide 3
Slide 3 text
“
”
SOME EXISTING
SOLUTIONS
ZILLIQA.COM
@ZILLIQA
Slide 4
Slide 4 text
“
”
INCREASING
BLOCK SIZE?
NOT A 100X SCALING FACTOR, DUE TO
COMPUTATIONAL AND BANDWIDTH LIMITATIONS
ZILLIQA.COM
@ZILLIQA
Slide 5
Slide 5 text
“
”
OFF-CHAIN
TRANSACTIONS
MORE APPLICABLE TO PAYMENTS
OPENNESS? TRANSPARENCY?
DECENTRALIZATION?
ZILLIQA.COM
@ZILLIQA
Raiden Network
Slide 6
Slide 6 text
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
Slide 7
Slide 7 text
DEEP TECH MEETS
VENTURE CREATORS &
FINANCIAL VETERANS
“
”
ZILLIQA.COM
@ZILLIQA
Slide 8
Slide 8 text
WE HAVE PUT
THEORY INTO
PRACTICE
ZILLIQA.COM
@ZILLIQA
“
”
A SECURE SHARDING
PROTOCOL FOR OPEN
BLOCKCHAINS (2015)
LOI LUU, PRATEEK SAXENA
Slide 9
Slide 9 text
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
Slide 10
Slide 10 text
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
Slide 11
Slide 11 text
ZILLIQA.COM
@ZILLIQA
“
”
dAPPS
ENABLED BY ZILLIQA
Slide 12
Slide 12 text
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
Slide 13
Slide 13 text
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
Slide 14
Slide 14 text
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
Slide 15
Slide 15 text
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
Slide 16
Slide 16 text
ZILLIQA.COM
@ZILLIQA
“
”
PARTNERSHIP WITH MINDSHARE
Slide 17
Slide 17 text
ZILLIQA.COM
@ZILLIQA
“ ”
dAPPS
OTHER
PARALLEL AUCTIONS
PAYMENT NETWORKS
SHARED ECONOMY
SCIENTIFIC COMPUTING HIGH ASSURANCE COMPUTATION
Slide 18
Slide 18 text
ZILLIQA.COM
@ZILLIQA
“
”
TECH
OVERVIEW
Slide 19
Slide 19 text
“
”
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
Slide 20
Slide 20 text
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
Slide 21
Slide 21 text
ZILLIQA.COM
@ZILLIQA
“
”
Diving Deeper
Slide 22
Slide 22 text
“
”
NETWORK SHARDING
ZILLIQA.COM
@ZILLIQA
Slide 23
Slide 23 text
“ MINE (POW) TO JOIN THE NETWORK
ZILLIQA.COM
@ZILLIQA
”
Slide 24
Slide 24 text
“ NODES RANDOMLY DISTRIBUTED TO SHARDS
ZILLIQA.COM
@ZILLIQA
”
Slide 25
Slide 25 text
“
”
TRANSACTION SHARDING
ZILLIQA.COM
@ZILLIQA
BASED ON THE
SENDER’S ADDRESS
01 02 03
Slide 26
Slide 26 text
ZILLIQA.COM
@ZILLIQA
“
”
CONSENSUS ON TRANSACTIONS
SUBMIT TO DS SHARD
02
01 03
Header A Header B
Slide 27
Slide 27 text
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
Slide 28
Slide 28 text
ZILLIQA.COM
@ZILLIQA
“ SIGNATURE AGGREGATION
Digital Signature
Signature Scheme
”
Multi Signature
SMALL SIG SIZE
LOW COMM
OVERHEAD
Slide 29
Slide 29 text
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
Slide 30
Slide 30 text
ZILLIQA.COM
@ZILLIQA
“
”
CONSTRUCT & BROADCAST FINAL BLOCK
BROADCAST TO
NODES
Slide 31
Slide 31 text
ZILLIQA.COM
@ZILLIQA
“
”
EXCHANGE VALID TRANSACTIONS
EXCHANGE TRANSACTIONS
ACROSS SHARDS
02 03
Slide 32
Slide 32 text
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
Slide 33
Slide 33 text
ZILLIQA.COM
@ZILLIQA
“
”
SMART
CONTRACTS
Slide 34
Slide 34 text
ZILLIQA.COM
@ZILLIQA
“
”
INCIDENTS WITH
SMART CONTRACTS
$60 MIL
STOLEN
$300 MIL
FROZEN
Slide 35
Slide 35 text
ZILLIQA.COM
@ZILLIQA
“
”
CAUSES
COMPLEXITY
EXPECTED VS
UNEXPECTED
BEHAVIOR
NO FORMAL
VERIFICATION
Slide 36
Slide 36 text
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
Slide 37
Slide 37 text
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)
Slide 38
Slide 38 text
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
Slide 39
Slide 39 text
“
”
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
Slide 40
Slide 40 text
“
”
PREVENTING DAO INCIDENT
AT THE LANGUAGE LEVEL
transition Reclaim
// Check if the sender is eligible to reclaim
if ( … )
send (, MT)
else
// remove sender from the list
let v = get(backers, sender) in
backers := remove(backers, sender);
send (, 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);
}
Slide 41
Slide 41 text
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.
Slide 42
Slide 42 text
ZILLIQA.COM
@ZILLIQA
“
”
ONGOING WORK
SHARDING-
FRIENDLY
SOLIDITY-LIKE
SYNTAX FOR
PROGRAMMERS
WORK WITH
COMPUTATIONAL
SHARDING FOR
BUDGETED
SECURITY
Slide 43
Slide 43 text
ZILLIQA.COM
@ZILLIQA
“
”
NEXTSTEPS
Slide 44
Slide 44 text
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
Slide 45
Slide 45 text
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
Slide 46
Slide 46 text
ZILLIQA.COM
@ZILLIQA
“
”
FUTURE
PLANS
CONTINUAL RESEARCH &
DEVELOPMENT
EXPLORE WAYS TO SUPPORT
DAPPS FROM OTHER CHAINS
RESEARCH COLLABORATION
WITH COMMUNITIES
Slide 47
Slide 47 text
ZILLIQA/‘ZILIKƏ/
NEXT GEN HIGH-THROUGHPUT
BLOCKCHAIN PLATFORM
Q&A
Slack: https://invite.zilliqa.com
Telegram: @zilliqachat
Join our Slack & Telegram
ZILLIQA.COM
@ZILLIQA [email protected]
Join our team
[email protected]