관심사와 전문 지식

철저한 테스트는 소프트웨어 생산 라인의 필수 요소가 되었습니다. 그러나 이는 한계가 있습니다. 코드가 자연스럽게 성장하고 거대해질 때, 형식적 방법과 프로그램 분석에 기반한 도구 및 기술로 테스트를 보완하는 것이 큰 가치를 가집니다. 저는 소프트웨어의 모든 가능한 위협에 대한 강건성을 알고 실현하기 위해 형식 검증 및 프로그램 분석을 열정적으로 추구합니다.

프로그래밍 언어에 과학적 사고를 더하는 것은 개발 커뮤니티를 크게 발전시키는 데 항상 도움이 됩니다. 보장 사항은 컴파일 시간에 즉시 나타나며(스마트 IDE를 사용하면 프로그래밍할 때도 가능합니다!). Rust, Golang, 함수형 프로그래밍, 그리고 최근에는 블록체인을 위한 Movelang이 그 증거입니다. 우리는 Supra에서 인프라 개발자와 dApp 수준 개발자들이 보안성과 성능을 유지하면서 더 높은 추상화와 용이성, 단순성을 추구하도록 이끌고 멘토링하고자 합니다.

분산 프로토콜은 현대 소프트웨어 시스템의 기초입니다. 이러한 기본 설계를 매우 효율적으로 구축하고 보안하는 것은 매우 중요하며 점점 더 필요해지고 있습니다. 우리는 Supra에서 모든 분산 프로토콜을 독창적인 관점에서 바라보고, 산업과 커뮤니티 전체가 혜택을 볼 수 있도록 핵심 통찰을 기여합니다.

코멘트

우리 CEO 조슈아 토빈(Joshua Tobkin)은 조직 내에 "연구 우선" 사고방식을 깊이 주입했습니다. 그의 이니셔티브, 비전 있는 사고, 핵심 통찰을 통해 그는 연구팀을 심층 통찰과 실용성을 결합하는 방향으로 이끌었습니다. 우리는 Supra의 IntraLayer로서의 위치를 지원할 고처리량, 저지연, 확장 가능한 합의 프로토콜 가족을 발명했습니다.

우리는 보다 실용적인 합리적 모델에서 매우 안전한 브리지 프로토콜의 역학을 신중하게 고려하고, 브리지 프로토콜 가족을 세심하게 설계하였으며, 게임 이론적 기법을 사용하여 이를 철저히 분석했습니다.

선별 연구 발표 자료