Tezos has the assurance required for high value use cases and a focus on formal methods. Given this strength we aim to support projects building security solutions for Tezos.


Key management

Overall improvement of key management solutions to increase security and usability. Integration of Tezos in popular Hardware Security Modules (HSM).


Formal verification

Tools to more easily formally verify properties of Tezos smart contracts.

Tezos Foundation uses cookies to provide you with the best possible service. By continuing to visit this website you agree to our use of cookies