Security

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.

Security

Key management

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

Security

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

Accept