Distributed ledger research
& protocol development.

Cryptium Labs is a multi-network research and engineering team, dedicated to building, extending and maintaining decentralised, permissionless and censorship resistant networks. We deploy cutting-edge research to improve the capability and efficiency of distributed protocols. Examples of the latter are our involvement with not only upgrading existing protocols, such as Tezos or Cosmos, but also our focus on programming language and applied cryptography research. We envision a future proof-of-stake blockchain ecosystem without the externalities or limitations of proof-of-work, where heterogeneous blockchains serving a wide variety of application use-cases coexist and interoperate seamlessly.

Research

Juvix

Last update in August 2019

Juvix synthesizes a high-level frontend syntax, dependent-linearly-typed core language, and low-level parallelisable optimally-reducing execution model into a single unified stack for writing formally verifiable, efficiently executable smart contracts which can be deployed to a variety of distributed ledgers.

Development

Smarter Contracts

Last update in May 2019

Application-layer smart contracts & tooling.

Development

Ledger + KMS for Cosmos

Last update in February 2019

Enabling in-hardware equivocation protection.

Development

StakePi

Last update in March 2019

Multi-chain stake monitoring tool with a Raspberry Pi in Python.

Research

Library

Last update in May 2019

Multiple learning resources on PoS networks. Articles, presentation slides, etc.