If I need to explain tezos security compared to other

Question

Tezos

Lord_Lujiez

If I need to explain tezos security compared to other

projects, what would you say ? If it does have the best security is there any way to give evidence of this?

#cryptocurrency #english #tezos

0

17.12.2023

4 ответов

39 просмотров

Japan 2k20

https://x.com/arthurb/status/1736094433114751239?s=46&t=fW7ahs_4EfgQCQoaCDaxIQ That’s another one very practical Unfortunately I don’t think anyone dare to formally verify their SC, sorry Alex 😁

0

11 месяцев назад

Raphaël Cauderlier

Japan 2k20
https://x.com/arthurb/status/1736094433114751239?s...

There are a few real cases of formally verified contracts on Tezos. In particular we have proved some interesting properties on the Liquidity Baking contracts (see https://research-development.nomadic-labs.com/progress-report-on-the-verification-of-liquidity-baking-smart-contracts.html and https://research-development.nomadic-labs.com/follow-up-on-the-verification-of-liquidity-baking-smart-contracts.html). About a year ago, there was also a project of verified multisig in Umami (https://gitlab.com/nomadic-labs/mi-cho-coq/uploads/7623c453a36382be3a6f30c10167882b/multisig_managed_state_verif.pdf)

0

11 месяцев назад

Raphaël Cauderlier

Raphaël Cauderlier
There are a few real cases of formally verified co...

But overall there is very few work on formally verified contracts since the bear market.

0

11 месяцев назад

Alex L *Never DMs* · Accepted Answer

Alex L *Never DMs*

https://opentezos.com/formal-verification

0

11 месяцев назад

209 похожих чатов

If I need to explain tezos security compared to other

4 ответов

Похожие вопросы