Metastate

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: github.com/metastatedev/j…

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: juvix.org

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: github.com/metastatedev/j…

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: research.metastate.dev/announcing-dac…

Important update on Metastate’s plans as the second @tezos core development team: medium.com/metastatedev/u…

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: gitlab.com/metastatedev/t…

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: metastatedev.gitlab.io/astrolabe-docs/

We just published a blogpost about the Astrolabe test network: research.metastate.dev/astrolabe-tezo…. 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: research.metastate.dev/masp-integrati…. 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: leastauthority.com/blog/audit-of-…

We are excited to announce the release of the Multi-Asset Shielded Pool (MASP) project by @metastatedev. Learn more about the MASP by reading this gentle introduction article: research.metastate.dev/multi-asset_sh…