Overview of recent Tezos core development around 2019-02.

1. Recent Tezos coreRecent Tezos core
developmentsdevelopments
Jun FURUSE
Feb 5, 2019

3. Bit of myself…Bit of myself…
Jun FURUSE
Scientific Director
CEO

4. Introduction: What is Tezos?Introduction: What is Tezos?

5. Tezos is …Tezos is …
Next generation blockchain technology:
Delegated Proof-of-Stake: LPoS
On-chain-governance for protocol amendment
Designed for security via formal verification
Mainnet launched on 2018-09-17

6. Liquid Proof-of-StakeLiquid Proof-of-Stake
PoS with delegation,
but different from “DPoS”
Anyone with ≧ 10000 XTZ can “bake”.
Delegatable baking right to baking services.
Bakable even with a Raspberry Pi 3.
https://medium.com/tezos/liquid-proof-of-stake-aec2f7ef1da7

7. On-chain governanceOn-chain governance
Stakeholders own the protocol!
Amendment proposal
Vote for test
Testing
Vote for upgrade
Protocol upgrade
https://medium.com/tezos/amending-tezos-b77949d97e1e

8. Tezos and Formal verificationTezos and Formal verification
Desgined to be
formal verification friendly:
Tezos is written in OCaml.
With typing, model check, proofs assistants, …
To secure protocol layers, P2P, smart-contracts, …

9. Recent core developmentsRecent core developments

10. Recent core developmentsRecent core developments
Nomadic labs now in spot-light
The very first protocol voting is coming
Storage fix
Tezos Stack Exchange is now beta
Other improvements incoming

11. Nomadic labsNomadic labs
The core of Tezos core devs, in Paris.
https://www.nomadic-labs.com/

12. The first amendment proposalsThe first amendment proposals
Increase gas limit
or, Increase gas limit + Reduce roll size requirement
https://blog.nomadic-labs.com/meanwhile-at-nomadic-labs-1.html
https://medium.com/cryptium/dissecting-the-first-tezos-amendment-proposals-
334555af9614

13. Increase gas limitIncrease gas limit
Current gas limit is very conservative.
Only simple contracts can run.
Relaxing the limit for more complex
contracts.

14. CC BY-SA 2.0, by
Reduce the roll size requirementReduce the roll size requirement
10000 XTZ ⇨8000 XTZ
More rolls
More bakers
More votes
More decentralization
Philip Taylor

15. Fomral proposals are coming…Fomral proposals are coming…
Now finishing the tests of voting system.
Proposal discussions:
The whole process (proposal, selection vote, test, final vote) will
take 3 months.
Please learn the voting procedure
and think about the proposals.
https://www.kialo.com/tezos-protocol-amendment-1-25295/25295.0/25295.0

16. Storage improvementStorage improvement
Node storage reached 68G on 2019-01-15!
Fix proposed:
Pruning: Archive/full/rolling modes
Stop-the-world GC
Now reduced down to 14G!
Node sync time: several days ⇨few minutes with a snapshot
https://blog.nomadic-labs.com/introducing-snapshots-and-history-modes-for-the-tezos-
node.html

17. Tezos Stack Exchange in BetaTezos Stack Exchange in Beta
Join and ask your questions!
https://tezos.stackexchange.com/

18. Other improvements incomingOther improvements incoming
Not in the next protocol update, but lots are coming…
Even better storage
BFT like consensus
PVSS for better randomness
Use of zk-SNARKS: Zcash Sapling
High level language and formal verification tools
ST1 account, Multipass validation, Accurate gas costs, ..

19. Even better storageEven better storage
Better data representation and GC efforts
for better space usage and performance:
Plebeia
Irmin 2
Irontez

20. BFT like consensusBFT like consensus
Introduce BFT algorithm
Current baking + endorsement design unchanged.
Bakers must reach Byzantine agreement

21. PVSS for better randomnessPVSS for better randomness
Random seed is computed from “commitments” of bakers.
Commitments must be revealed by the bakers.
Otherwise they lose rewards and fees.
Bakers may not reveal their commitments on purpose
to control the seeds.
PVSS can be used to force revealing the commitments.

22. zk-SNARKSzk-SNARKS
Zcash’s zk-SNARKS library now usable in OCaml.
Bring some privacies:
Private transactions: takes some time…
Anonymous voting: will be an easy target.

23. High level languageHigh level language
Current choices
Michelson: important but hard to write for human…
Liquidity: OCaml syntax is not pupular…
Planning to build an intermidiate level language
Compiles to Michelson
With syntax wrappers for popular languages (Python, JS, ..)

24. Not only from core dev but…Not only from core dev but…
More coming from the community:
Tezos Wiki by TQ
Michelson tutorial by camlCase
Ledger Live support by Obsidian Systems
Tezos Global Summit 2019-09 in NYC
2019 will be another busy year for Tezos!
https://learn.tqgroup.io/
https://gitlab.com/camlcase-dev/michelson-tutorial/tree/master/01
https://medium.com/@obsidian.systems/getting-started-with-tezos-on-the-ledger-nano-s-c011517b0f3c

25. Thank you!Thank you!