안녕하세요. 개발자 모도리입니다.
오늘도 역시 유용한 컨텐츠를 전달해 드리려고 합니다.
어제에 이어서 오늘은 2부 내용 Plasma Smart Contract Audit에 대한 내용입니다.
- EVM을 폰 노이만 머신처럼 생각하면 안된다!
- EVM에서 O(n)의 시간복잡도를 갖는 스마트컨트랙트는 작동하지 않을 확률이 높다!
저는 이 두 가지를 얻을 수 있었던 매우 좋은 영상이라고 생각합니다.
발표자료
https://bit.ly/plasma_audit
계산복잡도 이론을 이용해서,
좋은 컨트랙트를 만드는법을 플라즈마 MVP구현체를 통해 소개하는 자료입니다.
결론은 O(N)의 시간복잡도를 가지는 알고리즘은 컨트랙트로 만들어도 동작하지 않을 가능성이 높다는 것이고, 플라즈마MVP는 잘 만들어진 알고리즘을 사용하고 있다는 것 입니다.
(출처 : Onther Inc. 유튜브 채널)