비탈릭은 스마트trac의 미래가 버그 없이 안정될 것이라고 예측합니다

Ethereum공동 창립자 비탈릭 부테린에 따르면, 보안을 우선시하는 개발자들은 2030년대에 이르러서는 버그 없는 코딩이 가능해질 것으로 기대할 수 있다. 

Ethereum 공동 창립자 비탈릭 부테린은 밸런서 해킹으로 인한 940만 달러 손실 복구를 위해 그노시스 체인이 논란이 된 하드 포크를 단행한 후, "버그는 불가피하며 버그 없는 코드를 만들 수는 없다"는 믿음이 2030년대에는 더 이상 사실이 아닐 것이라고 말했습니다.

비탈릭 부테린은 코딩에 대해 뭐라고 말했나요? 

비탈릭 부테린은 소셜 미디어 플랫폼 X에서의 소통을 통해 2030년대에는 버그 없는 코드가 보편화될 것이라고 예측했습니다. 

의 Cryptopolitan. 이 하드 포크를 통해 2024년 11월 밸런스(Balancer) 공격으로 여러 블록체인에서 1억 2,800만 달러 이상이 유출된 사건 당시 도난당한 940만 달러를 복구했습니다. 복구를 위해 대부분의 검증자는 새로운 소프트웨어를 도입해야 했으며, 업데이트를 하지 않은 검증자는 제재를 받게 됩니다. 보도 에 따르면, 그노시스 체인(Gnosis Chain)이 12월 22일에 하드 포크를 실행했다고 발표하면서 논의가 시작되었습니다

물론 이러한 움직임은 블록체인 지지자들의 반발을 불러일으켰는데, 그들은 이것이 불변성이라는 원칙에 위배된다며 비판했습니다. 'colluding node'라는 닉네임을 사용하는 한 X 사용자는 진짜 문제는 블록체인 애플리케이션이 구축되는 방식이라고 주장했습니다. 그는 프로그래밍 가능한 가상 머신에서 스마트trac을 사용하는 것은 잘못된 접근 방식이라고 지적했습니다. 

"작성할 가치가 있는trac은 단 7개뿐이며, 이 계약들은 기본 계층에 명시하고 클라이언트 다양성을 통해 보안을 확보해야 합니다."라고 해당 사용자는 썼습니다. 

이에 부테린은 밝혔습니다 . 그는 더 나아가 버그가 없다는 것을 증명할 수 있는 코드는 아예 불가능할 수도 있다고 시사했습니다.

"저는 '버그가 전혀 없다는 것을 증명하는 것'은 불가능하다고까지 말하고 싶습니다. 왜냐하면 '버그가 없다'는 것은 '의도와 코드 실행 사이에 간극이 없다'는 것을 의미하는데, 우리의 의도는 우리가 제한적으로만 접근할 수 있는 매우 복잡한 대상이기 때문입니다." 

형식 검증은matic방법을 사용하여 안전에 중요한 시스템이 올바르게 작동하는지 확인하는 기법입니다. 이 기법은 1960년대부터 항공우주 공학 등의 분야에서 사용되어 왔습니다. 

에 사용될 때trac입증할 수 있습니다trac의 비즈니스 로직이 사전 정의된 사양을 충족함defi에도 불구하고 Balancer 계약trac4 치명적인 결함이 발견되었습니다. 

버그 없는 코드의 미래는 가능할까요? 

부테린은 의도와 실행 사이의 차이를 걸러내기 위해 여러 겹의 중복 구조를 도입하는 것이 해결책이라고 제안했습니다. 그는 타입 시스템을 중복 구조의 한 형태로, 코드에 대한 특정 주장을 형식적으로 검증하는 것을 또 다른 형태로 지적했습니다.

형식 검증은 정수 언더플로우 및 오버플로우, 재진입성, 부적절한 가스 최적화와 같이 감사자와 테스터가 간과할 수 있는 문제를 감지할 수 있습니다. 반면, 전통적인 테스트는 오류의 존재 여부만 확인할 수 있을 뿐 오류의 부재는 확인할 수 없습니다.

부테린은 어떤 경우에는 기능 향상이 완벽함보다 더 중요하기 때문에 일부 소프트웨어에는 버그가 계속 존재할 것이라고 지적했습니다. 하지만 보안을 우선시하는 개발자들은 진정으로 버그 없는 코드를 구현할 수 있는 도구를 갖게 될 것입니다.