Tezos is a new platform for smart contracts and decentralized applications.
The Tezos protocol offers a formal process through which stakeholders can efficiently govern the protocol and implement future innovations.
The Tezos blockchain was designed to facilitate formal verification, which helps secure smart contracts and avoid buggy code.
Tezos’ unique proof-of-stake consensus algorithm gives every stakeholder the opportunity to participate in the validation of transactions on the network and be rewarded by the protocol for doing so.
- Location Deskeo
- Next session September 19-20
- Duration 2 Days
- Languages English French
- Skill level Tezos trained
- Students 25
- Learning 3
- Exercises 4
Chain Accelerator is a blockchain startup accelerator based at STATION F, the biggest startup campus in the world, building an ecosystem with blockchains, universities, corporates, institutionals and investors.
Chain Accelerator Academy is a privileged partner of Tezos and offers on-site courses. Chain Accelerator Academy is also a hub for doctoral degrees. The aim is to integrate academia and real global projects. We can provide a grant for your courses based on profiles.
- Secure and optimize a vote process on Tezos
- Secure and optimize smart contract on Tezos
- Secure and optimize a decentralized service on Tezos
- Secure and optimize a validation node on Tezos
Lesson 1. Learning formal verification160 minutes
Lesson 2. Learning: Vote process160 minutes
Lesson 3. Learning next functions to follow: smart contracts in different languages, anonymization160 minutes
Lesson 1. Learning: Michelson, multisign contract study210 minutes
Lesson 2. Exercise : Optimisation of the fees with a competition between the nodes of the formation (group)90 minutes
Lesson 3. Certification: your vote, your certification (group). #teasing180 minutes
Co-founder of Chain Accelerator: blockchain startup accelerator at Station F.
Technical lead of major innovations in telecommunications and digital for 20 years.
Creator of Blockchain communities, supporting the development in Africa through the economic and social power of networks digital tools since age 15.
Frequent speaker : Blockchain for industries, cybersecurity, communities.
Coder on: Bitcoin, Tezos, Cosmos /Tendermint, Wanchain.