METASTATE

This time, we will dive deep into one of the features we are exploring: enhancing baking accounts.

In this article we will describe the specific implementation of Stateful Baking Accounts, which has been further refined from the feature…

This brief article starts by sharing the background and motivations behind this feature and is then followed by a high-level description of

The article gives a succinct introduction to the Michelson language, and proceeds to describe the semantics of the new types and…

This article starts with a brief recap on how randomness is currently generated in the Tezos protocol via a commit-reveal scheme. This is…

In this article, however, we are sharing the details of a new release of the Tezos shell, which includes a protocol environment upgrade.

Juvix is a dependently typed programming language inspired by Idris, F★, and Coq. Juvix is designed as a smart contract verification and…

Describes the current state of specification and implementation, and provides a list of further resources & instructions should you wish to

In addition to validation and protocol development, in the past several months Cryptium Labs has embarked upon a new project: research &…