Homepage
Open in app
Sign in
Get started
Core
PLT
Cryptography
Official Website
Tagged in
Security
METASTATE
Blockchain R&D
More information
Followers
43
Elsewhere
More, on Medium
Security
Metastate
in
METASTATE
Jun 3, 2020
Publicly Verifiable Secret Sharing (PVSS) Scheme for Randomness Generation on Tezos
Read more…
113
Metastate
in
METASTATE
May 8, 2020
Juvix: Compiling Juvix to Michelson
Juvix
is a dependently typed programming language inspired by
Idris,
F★, and
Coq. Juvix is…
Read more…
10
Metastate
in
METASTATE
May 6, 2020
Stateful Baking Accounts
In this article we will describe the specific implementation of Stateful…
Read more…
411