METASTATE

Announcing Dactylobiotus: The Developer Preview Release of Juvix

The aim of Juvix is to help write safer smart contracts. Juvix implements many desirable features for a smart contract programming language.

Core

Announcing the Astrolabe Tezos Test Network

As mentioned in a recent publication and announcement, the MASP integration on Tezos is available (together with other features under research and development) on a Tezos test network named Astrolabe.

Core

Multi-Asset Shielded Pool Integration on Tezos

This article provides a description of the MASP integration on Tezos, which is one of the features under research and development.

Cryptography

A gentle introduction to the multi-asset shielded pool project

This article provides an overview of the multi-asset shielded pool (MASP) project. It has been written to be accessible to all audiences, including the ones without a deep technical background. For feedback or questions, please do not hesitate to contact us: team@metastate.dev

PLT

An introduction to Witch

The Juvix team created the project Witch. Witch combines different proof strategies to enable users to profit from proof assistants without an in-depth understanding of the theory behind it

Core

Governance Improvements

In this article, we will delve into two features (currently under review) to enhance the Tezos governance mechanism, namely the 5th adoption period and the shorter voting periods.

Cryptography

PLONK by Hand (Part 3: Verification)

In this last part of the series PLONK by Hand, we will verify that the proof (constructed in Part 2) can be accepted.

Cryptography

PLONK by Hand (Part 2: The Proof)

In this second part of the series, we will create a list of elliptic curve points (along with a few field elements) to demonstrate that our assignment satisfies the circuit we constructed in Part 1.

Cryptography

PLONK by Hand (Part 1: Setup)

This article will explain how to execute a PLONK zero-knowledge proof system completely by hand. In particular we will show how to choose parameters, run a trusted setup, and convert a statement into a PLONK-style circuit by hand.

PLT

A Gentle Introduction to Dependent Types

Dependent types languages allow to enhance the expressiveness of your code, thereby increasing the errors the compiler can catch (at compile time).

Cryptography

On PLONK and plookup

Both SNARK protocols are based on arguments that two sequences are related by a permutation, so demystifying both just made sense. This post covers the framework of both, without getting bogged down in details of how elliptic curve pairings work.

Core

New Michelson Opcodes

This document gives a succinct introduction to the Michelson language, and proceeds to describe the semantics of the new types and instructions in the following features: elliptic curve construction support, more cryptographic hash algorithms among many other additions.

PLT

Compiling Juvix to Michelson

Juvix is designed as a smart contract verification and execution language, where efficient compilation is key, as otherwise any inefficient compilation to the primitives of a virtual machine on a decentralised blockchain will result in extra funds spent in order to execute any given program.

Cryptography

Demystifying Fractal: Part II

It details Fʀᴀᴄᴛᴀʟ's subprotocols, such as Univariate Sumcheck for rational functions, Holographic Lincheck, Sparse Matrix Arithmetization or the Verifier

Cryptography

Demystifying Fractal: Part I

Fractal is a new general-purpose zero-knowledge proof system (and no, it doesn't have anything to do with the fractals you're probably thinking of). This is a two-part in-depth dive into FRACTAL.

Cryptography

Demystifying Supersonic: Part II

Part II introduces the DARK Integer Commitment Scheme and describes at a high level how DARK can be used as a Homomorphic Polynomial Commitment Scheme, and how DARK may be instantiated in various groups of unknown order.

Cryptography

Demystifying Supersonic: Part I

Part I of this blog post will review how Supersonic fits into the landscape of modern SNARKs and give context and background for the technical details in Part II.

PLT

The Why of Juvix: Ingredients & Architecture

This post enumerates the various theoretical ingredients in Juvix that we think will enable it to meet these challenges, describes the current state of specification and implementation.

PLT

The Why of Juvix: On the design of smart contract languages

Juvix is designed to address the problems that we have experienced while trying to write & deploy decentralised applications.

PLT

Smart Contract Language Design: Reflections from Devcon 5

Here at Cryptium Labs, besides delegation services and protocol development, we are also developing a smart contract language called Juvix. A few talks I went to at Devcon 5 have me reflecting on some thoughts of smart language design.

Cryptography

Cryptography in Decentralized Protocols

After few years into this emerging, yet fast-moving blockchain space, it became apparent that knowledge in cryptography is indispensable. In this context, knowledge refers to: 1) what, where, and why cryptography is used; and 2) limitations of the cryptography used in decentralized protocols.

PLT

How to Comfortably use F*

F* is a dependently typed language based off of Hoare Type Theory, refinement types, a SMT solver and features an effect system. All these features culminate in a high level language that excels at verifying and generating low level code.

Core

Tezos protocol upgrade development (part 1)

One of the key defining features of Tezos is to include the protocol upgrades in the protocol itself to create what has been dubbed as self-amending crypto-ledger. In this post, we'll look at what encompasses the process of building a protocol upgrade.

Core

Deploying a Custom Protocol in Tezos

This blogpost sets out to show that deploying a custom protocol in Tezos is rather simple. A future post will be a detailed walkthrough of creating a protocol.

Subscribe to METASTATE