- 2024年04月12日
- 2024年04月08日
- 2024年03月28日
- 2024年03月20日
- 2024年02月04日
- 2024年02月01日
- 2023年11月27日
- 2023年11月10日
「形式化验证」如ChatGPT或将取代人类?CertiK专家为你解答该命题真伪!
我们常说形式化验证用于智能合约审计。那么审计当中,到底哪些部分使用了形式化验证,人工审计又有着怎样的作用呢?
2023年02月09日- 2023年02月01日
- 1
- 2
- 3
「形式化验证」如ChatGPT或将取代人类?CertiK专家为你解答该命题真伪!
我们常说形式化验证用于智能合约审计。那么审计当中,到底哪些部分使用了形式化验证,人工审计又有着怎样的作用呢?