3월 15일 금요일, 베리체인은 널콘 베를린 2024에서 무대에 올라 무브 기반 스마트 컨트랙트의 내부 작동을 밝히는 획기적인 디컴파일러 도구인 레벨라를 선보였습니다. 이 최고의 사이버 보안 컨퍼런스에서 저희는 이 선구적인 오픈 소스 도구를 업계 최고의 전문가들에게 소개할 수 있는 플랫폼을 제공했습니다.
베리체인의 공동 창립자인 응웬 안 퀸 박사가 진행한 프레젠테이션에서는 무브 기반 스마트 컨트랙트에 대한 개요를 제공하고, 향후 개발 로드맵에 대한 베리체인의 비전을 보여주며 레벨라에 대한 포괄적인 탐색을 진행했습니다. 지난주 널콘 베를린에서 진행된 발표의 주요 내용을 간략히 소개합니다.
이동 기반 스마트 컨트랙트로의 전환
강력한 정적 타이핑과 내장된 공식 검증과 같은 보안 기능에 중점을 둔 무브 기반 스마트 컨트랙트가 각광받고 있습니다. 이러한 발전에도 불구하고 배포된 계약의 투명성은 여전히 과제로 남아 있습니다.
Move 바이트코드는 다음과 같은 고유한 특성을 가지고 있으며, 이는 Move 기반 스마트 컨트랙트 분석의 복잡성을 가중시킵니다:
스택 기반 가상 머신: 조작을 위해 데이터를 스택에 밀어넣고 당겨서 작동합니다.
3-주소 코드 중간 표현: 각 명령어에 피연산자(데이터 소스)가 3개인 명확한 형식을 사용합니다.
모듈 수준 정보 보존: 모듈 이름, 구조 정의, 종속성 등 중요한 세부 정보를 저장해 이해를 높입니다.
함수 수준 세부 정보: 함수 이름, 인수 및 반환 데이터 유형, 바이트코드 내의 로컬 변수 데이터 유형이 포함됩니다.
알려진 분기 대상: 점프 대상에 대한 정적 지식을 확보하여 코드 분석을 간소화합니다.
왜 Revela인가? 투명성의 필요성 대두
전통적으로 블록체인에서는 소스 코드 없이 낮은 수준의 바이트코드 형태로만 코드를 배포하는 것이 일반적이었습니다. 이러한 투명성 부족은 악의적인 공격자가 탐지되지 않고 악성 코드를 삽입할 수 있는 빌미를 제공합니다. 또한 소스 코드가 없으면 커뮤니티에서 계약을 효과적으로 감사하거나 검토할 수 없어 보안 문제를 식별하고 해결하기 위한 공동의 노력을 방해합니다. 몇 가지 눈에 띄는 문제는 다음과 같습니다:
숨겨진 백도어: 악의적인 공격자는 스마트 컨트랙트에 바이트코드 수준에서 탐지하기 어려운 악성 백도어를 삽입할 수 있습니다.
보안 감사: 바이트코드에 대한 취약점 감사는 복잡하고 힘든 작업입니다.
검증 과제: 소스 코드에 액세스하지 않으면 스마트 계약의 정확성과 신뢰성을 검증하기가 훨씬 더 어려워집니다.
Revela는 이러한 문제를 정면으로 해결하며 게임 체인저로 부상했습니다. 이 혁신적인 도구는 Move 바이트코드를 원래 소스 코드로 다시 디컴파일한 다음 Move 컴파일러에 바로 공급함으로써 문제를 해결합니다. 코드를 독립적으로 검증하고 분석할 수 있는 기능을 갖춘 Revela는 학습 및 벤치마킹 개발을 위한 안전하고 개방적이며 신뢰할 수 있는 환경을 조성하는 데 있어 업계 표준을 확립합니다.
Revela의 디자인에 미치는 Move의 영향
Move의 고유한 기능은 스마트 컨트랙트 바이트코드에서 소스 코드를 효과적으로 복구할 수 있도록 Revela의 설계에 큰 영향을 미칩니다. 무브의 강점을 활용함으로써 Revela는 블록체인 생태계 내에서 보안과 이해도를 향상시킵니다. 아래는 무브 바이트코드를 처리할 때 기존 디컴파일러가 직면한 문제와 Revela의 방법을 비교한 표입니다.
무브의 고유한 강점을 활용하여 Revela는 스마트 컨트랙트 바이트코드에서 소스 코드를 복구하는 기능을 크게 발전시켰습니다. 이러한 혁신은 블록체인 생태계 내에서 보안을 강화하고 더 깊이 이해할 수 있는 길을 열어줍니다.
미래 전망: Revela의 미래
베리체인은 진화하는 무브 언어와 최신 기능에 발맞춰 Revela를 지속적으로 개선하고 개선하기 위해 최선을 다하고 있습니다. 향후 버전에서는 철저한 코드 분석을 위한 더욱 정교한 기능을 도입하여 사용자가 스마트 컨트랙트 운영에 대해 더 깊이 이해할 수 있도록 할 것입니다. 또한, 개발팀은 앱토스와 수이 외에도 다른 무브 기반 블록체인으로 호환성을 확장하여 그 활용도와 영향력을 넓히는 것을 목표로 하고 있습니다.
널콘 베를린 2024에서 진행된 응우옌 박사의 라이브 데모는 레벨라의 기능을 선보이며 청중들의 열렬한 호응을 얻었습니다. 참석자들은 Revela가 온라인 트랜잭션에서 Move 바이트코드를 디컴파일하는 과정을 직접 목격하며 그 기능을 직접 확인할 수 있는 기회를 가졌습니다. 이 라이브 쇼케이스는 블록체인 보안 환경에서 레벨라의 잠재적 영향력을 강조했습니다.
널콘 베를린 2024에서 베리체인의 참여는 무브 생태계 내 투명성을 증진하는 데 중요한 이정표가 되었습니다. 베리체인은 레벨라를 통해 개발자, 보안 연구자, 사용자에게 스마트 컨트랙트의 복잡성을 밝힐 수 있는 강력한 도구를 제공합니다. Revela는 계속 발전하면서 보안을 강화하고, 신뢰를 조성하며, Move 기반 블록체인의 더 안전한 미래를 위한 토대를 마련할 것입니다.
소셜 요약
지난 금요일, 널콘 베를린 2024에서 Revela가 성공적으로 발표되었습니다! 200명이 넘는 참석자들에게 이 획기적인 디컴파일러 도구를 소개하는 시간을 가졌습니다.
공동 창립자인 응웬 안 퀸 박사는 이 도구의 기능을 소개했을 뿐만 아니라 흥미로운 향후 로드맵에 대한 인사이트를 공유했습니다. Revela는 계속 진화하고 있으며, 보안을 강화하고 신뢰를 증진하며 Move 기반 블록체인의 더 안전한 미래를 위한 기반을 마련할 수 있는 엄청난 잠재력을 지니고 있습니다.
Revela를 직접 확인해 보세요:
프레젠테이션을 놓치셨다면 다음 블로그에서 응우옌 박사의 프레젠테이션을 기대해주세요!
지난 금요일 @nullcon 베를린에서 Revela가 성공적으로 발표되었습니다! 200명이 넘는 참석자들에게 이 획기적인 디컴파일러 도구를 소개하는 시간을 가졌습니다.
Revela를 직접 확인해 보세요:
다음 블로그에서 Nguyen 박사의 프레젠테이션을 기대해주세요!
베리체인을 읽어주셔서 감사합니다! 무료로 구독하여 새로운 포스팅을 받아보고 제 작업을 응원해 주세요.
