A reminder that Metastate has ceased its activities on the 31st of January 2021. Metastate’s website and public profiles including @metastatedev on Twitter are kept for archival purposes, but will not be updated.

Juvix is an open source project and we welcome any feedback, issue reporting, or contributions. You’ll find the guidelines here:

This first release supports compilation to Michelson (virtual machine used for smart contract development on the @tezos platform). As the Juvix language is written in a backend-agnostic fashion, future releases will support additional backends.

There is currently no other smart contract programming language that implements all these features. They make it easier for a developer to ensure that their smart contract behaves exactly as they intend it to.

Juvix is built upon a broad range of ground-breaking academic research in programming language design and type theory and implements many desirable features for a smart contract programming language, in order to help developers write safer smart contracts.

With this release, we have also updated @juvixlang’s official website, which contains a few examples to get started with Juvix, docs and more: https://t.co/8UCGcsanpZ

Juvix has been designed & built by @metastatedev. @juvixlang takes inspiration from @idrislang, F* (@Microsoft & @Inria), and Agda.

Juvix can be installed from source on Linux, MacOS or Windows. For more details about the installation, please visit Github:

We are pleased to announce Dactylobiotus, the developer preview and first public release of @juvixlang. Find out more details about the project and the release in this blogpost:

Important update on Metastate’s plans as the second @tezos core development team:

The Astrolabe test network was launched on Friday, the 4th of December 2020. It runs stably and no issues have been found so far. If you wish to make any contributions or report issues, please use this Gitlab issue template:

We encourage the @tezos community to read about these features and to test them directly by interacting with the Tezos Astrolabe test network. You’ll find how to on the docs:

Find more about the features currently available on the Astrolabe test network here: https://t.co/VVgmrzvhNp. Astrolabe’s developer documentation can be found on the website:

Please note that, at this time, features available on the Astrolabe test network have not been included and are not guaranteed to be included in an upcoming @tezos protocol proposal.

The purpose of the @tezos Astrolabe test network is to facilitate developer quality assurance, as well as early and public testing on features that have been implemented by @metastatedev

We just published a blogpost about the Astrolabe test network: https://t.co/VVgmrzvhNp. It is a @tezos test network developed, launched, and maintained by @metastatedev

We just published a blogpost about the possible integration of the #MASP on the @Tezos protocol: https://t.co/IiizlXTHst. For feedback or questions, please do not hesitate to contact us. #blockchain #cryptocurrency #tezos #privacy #MASP

What’s next? Stay tuned for an upcoming blogpost on the possible integration of the #MASP on the @Tezos protocol.

Finally, we would like to thank @LeastAuthority for conducting the first external audit of the #MASP project, as well as the @TezosFoundation for financing the audit:

We would also like to thank the @ElectricCoinCo for their work on Sapling and in particular @str4d, the author of the first prototype and the github discussions, which greatly inspired the design of the #MASP project: