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

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

We are pleased to announce Dactylobiotus, the developer preview and first public release of Juvix. Find out more details about the project and the release in this blogpost: research.metastate.dev/announcing-dac…

Juvix has been designed & built by Metastate. Juvix takes inspiration from Idris Language, F* (Microsoft & Inria), and Agda.

With this release, we have also updated Juvix’s official website, which contains a few examples to get started with Juvix, docs and more: juvix.org

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.

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.

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.

Juvix can be installed from source on Linux, MacOS or Windows. For more details about the installation, please visit Github: github.com/metastatedev/j…

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…