Notre catalogue de ressources
Navigate by :
Menu
All resources
New resources
Advanced research
By theme
By author
Produced by UNIT
Help
Current search
By keywords
=
cryptocurrency
Refine my search
Print
RSS feed
Title
Title
Date
Author
Display 12
Display 12
Display 24
Display 36
Display 48
Display 60
Your attention please : access to the documents may be restricted, wheter for legal reasons, or imposed by the creator of the work.
5
resources
section from 1
to 1.4166666666666667
results
1 to 5
UNIT
Blockchain Basics
Description
:
This module will present a brief history of the blockchain, its main components, consensus' mechanisms and introduce the notion of smart contract. All these notions will later be helpful to understand how Tezos works and how it goes beyond Bitcoin and Ethereum to become part of a new generation of b ...
Complete descriptive sheet
Blockchain Basics
Share
On Facebook
On Twitter
On Google+
On LinkedIn
On Viadeo
By email
On Scoop.it
On Pinterest
View the document
UNIT
DeFi
Description
:
What is DeFi? DeFi is an acronym of Decentralized and Finance: - The word Finance refers to all the traditional financial tools and services that have existed since antiquity, such as buying or selling currencies, transferring, borrowing, lending money, trading, betting, insuring, etc. - The word De ...
Complete descriptive sheet
DeFi
Share
On Facebook
On Twitter
On Google+
On LinkedIn
On Viadeo
By email
On Scoop.it
On Pinterest
View the document
UNIT
Formal verification
Description
:
The Tezos blockchain has several advantages over its concurrents. One of them is the formal verification of smart contract. This module shows a brief overview of how Tezos smart contracts can be formally verified. We will first define in the Generalities section what is the formal verification of a ...
Complete descriptive sheet
Formal verification
Share
On Facebook
On Twitter
On Google+
On LinkedIn
On Viadeo
By email
On Scoop.it
On Pinterest
View the document
UNIT
Michelson
Description
:
To write smart contracts for Tezos, one can either choose the official low-level language called Michelson, or a high-level language, such as LIGO or SmartPy, which compiles into Michelson. This module focuses on the Michelson language. At the end of this module, you will be able to : manipulate a s ...
Complete descriptive sheet
Michelson
Share
On Facebook
On Twitter
On Google+
On LinkedIn
On Viadeo
By email
On Scoop.it
On Pinterest
View the document
UNIT
Tezos Basics
Description
:
Tezos is a public, open-source blockchain protocol relying on a low power consumption and energy-efficient consensus. The protocol also incorporates a self-amending governance system, which allows continuous improvements while preserving the integrity of this consensus. This is a rare feature that e ...
Complete descriptive sheet
Tezos Basics
Share
On Facebook
On Twitter
On Google+
On LinkedIn
On Viadeo
By email
On Scoop.it
On Pinterest
View the document
Show section from
2
to 1.4166666666666667
