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.
Leveraging novel 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.
Leveraging the latest research in 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.
Swiss-made security-oriented proof-of-stake validator operated by protocol engineers and researchers, offering staking services for networks such as Tezos, Cosmos, and Polkadot.
Protocol 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.