With this article, we would like to announce that Metastate will end its activities as a core development team of the Tezos protocol on the 31st of January 2021.
The PLONK proof system can be used for blockchain applications such as compute compression & privacy which require a…
Juvix is a dependently typed programming language inspired by Idris, F★, and Coq. Juvix is…
Juvix