Summary:
It’s time for yet another post in the “meanwhile at Nomadic Labs” series, and we have a lot to talk about. Dive in to find out what you might have missed in January!
-
Nomadic Labs partnered with the IMDEA Software Institute, a leading research institute in Madrid. You can read more about the partnership here or in our press release.
-
A new research program dedicated to Blockchain technology was founded in partnership with Inria, the French National Institute for Research in Digital Science and Technology.
These collaborations clearly demonstrate our focus to support more open scientific research that can benefit Tezos and the entire Blockchain community.
-
Alexandre Doussot presented “How to Develop Smart Contracts with Tezos” at the Paris P2P Festival. This 1.5h workshop gave an introduction on Michelson and Ligo, two fundamental languages for the Tezos ecosystem.
-
Julien Tesson, Raphaël Cauderlier, Bruno Bernardo and Basile Pesin, a former intern at Nomadic Labs, published “Albert, an intermediate smart-contract language for the Tezos blockchain”. Keep an eye out for the Financial Cryptography and Data Security Conference 2020 in Malaysia on February 14th. Raphaël Cauderlier will hold a presentation, giving more details on Albert during the 4th Workshop on Trusted Smart Contracts.
-
To celebrate our partnership, we organized a Tezos Blockchain Workshop in cooperation with IMDEA Software. Michel Mauny presented the distinguishing features of the technology used within Tezos and the decentralized ecosystem supporting its development.
-
As promised, we published a second blog post on the The Spending Limit Contract: Formally Verifying a Critical Smart Contract. This post goes into more detail on how we formally verified the Spending Limit Contract used in the Cortez mobile Tezos wallet. The application has been updated on the Google Play Store and we are working to get it to iOS as soon as possible. Android users can already head over to the Play Store and download the latest version of Cortez in order to start setting spending limits.
-
We started a series of dedicated hackathons in order to improve documentation on the Michelson programming language. You can view a preview here
Two smart contracts used in camlCase, which will serve as critical components of the decentralized Dexter digital asset exchange, are currently being formally verified. You can read more about Dexter in camlCase’s blog post.
-
Nomadic Labs visited Cobra, short for the Concordium Blockchain Research Center Aarhus. Due to their similar interests in academic research, we discussed possible collaborations and gave a technical Tezos presentation.
-
We attended The annual Symposium on Principles of Programming Languages (POPL 2020) in New Orleans. Michel Mauny, Germán Delbianco and Bruno Bernardo were present to answer Tezos-related questions.
Nomadic Labs is proud to have sponsored the Southwestern Europe Regional programming Contest (SWERC) 2019-2020, which was organized by the “Institut Polytechnique de Paris” and took place at Télécom Paris on January 25th and 26th. Mehdi Bouaziz from Nomadic Labs was the judge during the “Problem analysis session”. A few lucky winners went home with a brand new ledger hardware wallet. You can view the video including the award ceremony here.
-
Pietro Abate from Nomadic Labs attended the European Blockchain Convention in Barcelona.
-
We are equally proud to be one of 11 founding members of ADAN, the “Association for the Development of Digital Assets”. By bringing together French industry actors and representing them, ADAN aims to promote the development of digital assets in France and Europe.
-
Last but not least, we published Tenderbake, a classical BFT style consensus for public Blockchains. Inspired by Tendermint, Tenderbake is a first exercise in experimenting with deterministic finality in Tezos. Tenderbake is a collaboration with CEA LIST.
Stay tuned for more updates next month.