Blockchains do not scale to a global user-base of seven billion people.
Leveraging the latest research in consensus, scalability, interoperability, and crypto-economics to build, extend and maintain decentralized, permissionless and censorship-resistant networks.
Smart contracts are not secure enough for finance, law, or systems engineering.
Research in programming language theory, including dependent types, usage quantisation, whole-program optimisation, interaction nets, and resource verification, in order to enable developers to write efficient smart contracts that are correct by construction.
Blockchains are not private enough for safe use by citizens, corporations, or dissidents.
Digital signature schemes, verifiable delay functions, and zero-knowledge proof constructions in order to bring features such as secure randomness, signature aggregation, computational compression, and computational privacy to distributed ledgers.
Tezos protocol research and development of upgrades for the Tezos state machine.
Improvements in network shell configurability, reliability, and performance.
Juvix synthesizes a high-level frontend syntax, dependently-typed core language, usage quantisation system, and bespoke 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.
Instantiating a zero-knowledge circuit that will allow multiple asset denominations on a multi-asset ledger to share the same anonymity set.