# 퍼징 도구 시리즈: Certora Prover

### Summary

이 비디오는 Certora Prover에 대한 소개를 제공합니다. Certora Prover는 스마트 계약의 보안을 검증하기 위한 강력한 퍼징 도구입니다. 이 도구는 코드의 취약점을 찾아내고, 개발자들이 보다 안전한 스마트 계약을 작성할 수 있도록 돕습니다.

- Link - [https://www.youtube.com/watch?v=9Gal-on-06E](https://www.youtube.com/watch?v=9Gal-on-06E)

![Fuzzing Tools Series: Certora Prover](https://www.youtube.com/watch?v=9Gal-on-06E)

### Content

Fuzzing Tools Series: Certora Prover - [https://www.youtube.com/watch?v=9Gal-on-06E](https://www.youtube.com/watch?v=9Gal-on-06E)

![Fuzzing Tools Series: Certora Prover](https://www.youtube.com/watch?v=9Gal-on-06E)

For the site tree, see the [root Markdown](https://slashpage.com/ph4nt0m.md).