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| METASTATE
The aim of Juvix is to help write safer smart contracts. Juvix implements many desirable features for a smart contract programming language.| METASTATE
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.| METASTATE
This article provides a description of the MASP integration on Tezos, which is one of the features under research and development.| METASTATE
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| METASTATE
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.| METASTATE
In this last part of the series PLONK by Hand, we will verify that the proof (constructed in Part 2) can be accepted.| METASTATE
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.| METASTATE
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.| METASTATE
Dependent types languages allow to enhance the expressiveness of your code, thereby increasing the errors the compiler can catch (at compile time).| METASTATE
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.| METASTATE
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.| METASTATE
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.| METASTATE
It details Fʀᴀᴄᴛᴀʟ's subprotocols, such as Univariate Sumcheck for rational functions, Holographic Lincheck, Sparse Matrix Arithmetization or the Verifier| METASTATE
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.| METASTATE