1,000 New Tezos Developers in 2019
Tezos is a new decentralized blockchain that governs itself by establishing a true digital commonwealth. It facilitates formal verification, a technique which mathematically proves the correctness of the code governing transactions and boosts the security of the most sensitive or financially weighted smart contracts.
Led by Adrian Brink, Awa Sun Yin, and Christopher Goes, the Cryptium Labs team will continue to publish content for the Tezos community, develop tools related to baking, and working on their own protocol upgrade called "Burebrot".
On Nov. 29 a commit was made to the Tezos public Gitlab explaining a new OCaml binding which is intended to allow easy interfacing with Zcashs zk-SNARKs library to bring shielded transactions to the Tezos network.
We research and develop products and services in various domains of computer science, namely distributed, decentralized, and formally verified systems.
Dynamic Ledger Solutions
DLS develops Tezos, a decentralized blockchain that governs itself by establishing a true digital commonwealth.