TEZOS
TEZOS ?

Decentralized Blockchain: Governance on chain

No Fork: Voting on improvement 

Delagete Proof of Stake

  • Virtual "miner" (Backer)
  • Communities delegate Backers
  • Formal Verification
  • Ocam and Michelson
TEZOS: policy

Possibility of producing new "amendments"

  • new policy of the governance
  • new voting specifications
  • smart contract parameters
  • add a block to chain

VOTE

voting on large majority (80%)

Only token holder can vote
It may be possible to delegate the vote

TEZOS:  bakeing

Writing the chain

  1. every clock (60'') a block is proposed
  2. a random virtual miner is selected among all bakers
  3. 32 random bakers are selected to validate the PoS
  4. with 17 (or more) positive votes a block is correct
  5. only after 4096 blocks (1 cycle) the XTZ are unbounded and all transactions are on the chain

Coin: XTZ... or Tezis

  • bounding 10000 XTZ each node can have 1 roll.
  • to be a Baker you need at least 1 roll.
TEZOS: bakeing 2
  1. every cycle all proposals are gathered
  2. each proposal is voted by supermajority (80%)
  3. all the pased proposals are implemented in a soft-fork net (test) for 48h
  4. after the test period there is another supermajority vote on the soft-fork net governance
  5. if the test pass, the new governance will be implemented on live network 

to Propose an amendment

TEZOS: example

A live Example

https://tezsure.com/

TezSure is a platform built on the tezos blockchain system.

It provides personalized insurance solutions with the benefits of the features of the blockchain.

At the same time, it will function in a community-driven insurance pool with no third parties.

TEZOS: configurations !

Main configuration (json file):

  • net
  • rpc
  • log
  • shell
  • data-dir
TEZOS: configurations [net]
  •     "expected-proof-of-work" ( expected maximum difficult )
  •     "bootstrap-peers": (list of host "peers" of the node)
  •     "private-mode":  (comunicates to the peers)
  •     "limits": 
    • "authentication-timeout": (in seconds)
    • "min-connections": (#n need to be connected)
    •  "expected-connections": (work limit on #n)
    • "max-connections": (superior limit on #n)
    • "backlog": (max number of pending connections)
    • "max-incoming-connections": (number of connections)
    • "max-download-speed": (in kib/s)
    • "max-upload-speed": (in kib/s)
    • "read-buffer-size": (in bit)
TEZOS: configurations [rpc]
  •     "listen-addr" (port of the host to call rpc)
  •     "cors-origin" (call params)
  •     "cors-headers" (call params)
  •     "crt": (certification for the node)
  •     "key":  (certification for the node)
TEZOS: configurations [shel]
  • "bootstrap_threshold" (number of connected peer to be considerated connected and active)
TEZOS: configurations [log]
  •     "output" (host or location where to put the log file)
  •     "level" (level of error or note)
  •     "rules" (limit the type of errors shown)
  •     "template" (format of the log file)
TEZOS 

/end

Thanks for your attention.

Tezos Upgraded

By frafolo

Tezos Upgraded

Analyzing Tezos properties

  • 92