TechFlow 소식. 이더리움 창시자 비탈릭 부테린(Vitalik Buterin)이 소셜미디어에서 "기본적으로 중앙화된 모든 것은 위험하다"며 "이번 주에 DeFi와 셀프 커스터디(Self-custody) 정신이 매우 잘 발휘되었지만, 스마트 계약 코드의 오류라는 위험도 여전히 존재한다는 것을 기억해야 한다"고 밝혔다.
비탈릭은 "이러한 위험을 방지하는 것이 중요하며, 코드를 단순하게 유지하고 감사(audit) 및 형식적 검증(formal verification) 등을 통해 다층적인 방어(깊이 있는 방어, depth defense)를 해야 한다"며 "내가 가장 걱정되는 것은, 2년 후 ZK-rollup에 100억 달러가 집결되어 있는데, 회로 제약 조건(circuit constraint) 코드나 이를 둘러싼 EVM 래퍼(wrapper)의 오류로 인해 해킹당하는 상황이다. 후자의 경우를 대비해 단순함을 유지하고 형식적 검증을 실시해야 한다"고 말했다.원문 링크




