Twitter | Search | |
Nomadic Labs
We do research and development of products and services using distributed, decentralized, and formally verified systems. || French Account
422
Tweets
57
Following
2,210
Followers
Tweets
Nomadic Labs retweeted
cryptomike Mar 31
What can Arronax () do with the data?
Reply Retweet Like
Nomadic Labs Mar 30
Did you miss Marco Stronati at the virtual development meetup last Saturday? Tune in to catch up here 👇 Tezos Sapling Integration: Protocol 007 Fireside chat:
Reply Retweet Like
Nomadic Labs retweeted
Cryptium Labs Mar 28
Protocol 007 is estimated for summer 2020 (1 Y since Babylon). Possible features are sapling integration, stateful baking accounts, environment upgrade, crypto additions, secure randomness, governance, meta transactions & Michelson – at Meetup
Reply Retweet Like
Nomadic Labs Mar 26
The Sapling integration AMA is now live on the agora forum. Join the discussion and come ask questions. Marco Stronati and Marc Beunardeau from Nomadic Labs are happy to answer.
Reply Retweet Like
Nomadic Labs Mar 26
We are looking forward to the virtual meetup on the latest developments in core protocol engineering. Marco Stronati from Nomadic Labs will be participating.
Reply Retweet Like
Nomadic Labs retweeted
Cryptium Labs Mar 25
In this episode, talks about what is, its security through Liquid Proof-of-Stake & differences from PoW, & on-chain binding governance –among other features that make the protocol novel. Highly recommended to everyone!🐫
Reply Retweet Like
Nomadic Labs Mar 23
Have you been waiting to ask questions about privacy-preserving transactions in . Don't miss the upcoming Sapling AMA on the Agora forum this Thursday 26th of March between 7-8PM (GMT+1). In the meantime you can read our recent blogpost:
Reply Retweet Like
Nomadic Labs Mar 19
Do you have questions regarding the integration of Sapling in ? Join Nomadic Labs next Thursday, 26th of March between 7-8 PM (GMT+1) in our upcoming AMA on the Agora Forum.
Reply Retweet Like
Nomadic Labs Mar 19
You want to hear more about ? spoke at the Tezos Developer Day in Paris. Find out what you missed here:
Reply Retweet Like
Nomadic Labs Mar 19
Digital signatures using ? Alain Broustail gave some insight at the .
Reply Retweet Like
Nomadic Labs Mar 19
Laszlo Szabo, co-founder of Skillz talks about how they aim to facilitate the adoption of technology for enterprises.
Reply Retweet Like
Nomadic Labs Mar 19
present two projects they are working on for . Have a look here if you missed their speech during the .
Reply Retweet Like
Nomadic Labs Mar 18
Laurent Kratz, CEO of spoke about his company and how they aim to tackle on
Reply Retweet Like
Nomadic Labs Mar 18
Christian Rinderknecht and Rémi Lesénéchal spoke about in LIGO at the Tezos Developers Day.
Reply Retweet Like
Nomadic Labs Mar 18
from compared to at the Tezos developer day in Paris on March 6th. You can view his presentation here:
Reply Retweet Like
Nomadic Labs Mar 18
You missed the Developer Day organized by ? Our after movie is here for you.
Reply Retweet Like
Nomadic Labs retweeted
Guillaume Claret Mar 13
We now fully convert the economic protocol to the proof language using coq-of-caml! Tezos in Coq: Evolution: coq-of-ocaml:
Reply Retweet Like
Nomadic Labs Mar 11
You missed Aymeric Bethencourt & Loup Theron from during our Dev Day? You may want to have a look at this 👇
Reply Retweet Like
Nomadic Labs Mar 11
Did you miss Alain Broustail's speech from during our Dev Day? You can find out more about him here:
Reply Retweet Like
Nomadic Labs retweeted
Arthur Brrrrr 🌮 Mar 10
👇 Michelson REPL in a Jupyter notebook.
Reply Retweet Like