일반 정보
런타임 검증은 실행 중인 시스템에서 정보를 추출하여 관찰된 동작이 특정 속성을 충족하는지 또는 위반하는지 여부를 감지하고 이에 대응하도록 설계된 계산 시스템 분석 및 실행 방법입니다. 이 기술은 보안 또는 보안 정책 모니터링, 디버깅, 테스트, 검증, 유효성 검사, 성능 분석, 페일 세이프, 동작 수정 등과 같은 다양한 용도로 사용할 수 있습니다. 소수의 실행 궤적을 분석하고 실제 시스템과 직접 작업하여 기존의 공식 검증 기법의 복잡성을 방지합니다. 런타임 검증 주식회사는 런타임 검증 기술을 사용하여 가상 머신 및 스마트 계약 보안 이들이 제공하는 서비스에는 설계 검토, 코드 검토, 감사, 스마트 계약 및 프로토콜의 공식 검증 등이 포함됩니다. 현재 런타임 검증 주식회사에서 제공하는 제품은 무엇입니까?런타임 검증 주식회사는 현재 세 가지 핵심 제품을 개발하고 있습니다. RV-예측은 프로그램의 동시 오류를 자동으로 감지하는 데 중점을 둔 예측 런타임 분석 도구입니다. RV-모니터는 사용자가 선택한 속성을 런타임에 모니터링하고 실행할 수 있는 개발 방법론 및 라이브러리 생성 도구입니다. RV-Match는 가능한 모든 프로그램 경로에서 완전한 런타임 유효성을 상징적으로 수행할 수 있도록 하는 도구이며, 따라서 특정 속성이 주어진 프로그램의 가능한 모든 실행에 대해 정확하다는 것을 증명합니다.
RV-Predict를 언제, 왜 사용해야 합니까?
다중 스레드 애플리케이션에 동시성 정확도가 중요할 때마다 RV-Predict를 사용해야 합니다. RV-Predict는 프로그램의 동시성 문제와 데이터 경합을 효율적이고 원활하게 감지할 수 있으며 실행하기가 매우 쉽고 일반적으로 구성이 필요하지 않습니다. RV-예측은 또한 RV-예측 레코드의 실행 추적에서 발생하지 않더라도 가능한 경합을 감지하기 위해 고유한 예측 기능을 활용합니다.
RV-모니터를 언제, 왜 사용해야 합니까?
RV-모니터를 사용하면 복잡한 응용 프로그램이나 시스템을 모니터링하고 추적 실행 속성을 수행할 수 있습니다. 프로그램 개발을 관리하기 위한 사양이 존재하는 한 RV-모니터를 사용해야 하며, 이 사양을 준수하는 것은 소프트웨어의 중요한 기능입니다. RV-모니터는 또한 Android 및 Java API를 포함한 공통 API의 준수를 모니터링하는 데 사용할 수 있습니다.
RV가 개발한 프로젝트는 독점 제품과 (RV의 오픈 소스 에코시스템의 일부로) 오픈 라이센스로 허가된 프로젝트의 두 가지 범주로 나뉩니다.
독점 제품에는 공개 라이센스로 명시적으로 허가되지 않은 모든 제품이 포함되며 평가 및 학술/비상업적 목적으로만 사용됩니다. 파생 작품은 사전 허가 없이 독점 RV 제품을 사용하여 만들 수 없으며 RV는 독점 제품에 대한 모든 권리를 보유합니다. 독점 제품은 어떤 식으로든 역설계되지 않을 수 있습니다.
블록체인 프로젝트 감사
런타임 검증은
- 스마트 계약에 대한 보안 감사: ERC-20, ERC-721, ERC-4626 등과 같은 계약에 대한 저비용 감사를 제공합니다.
- 프로토콜에 대한 보안 감사: 대출 관련 운영을 위한 프로토콜을 포함합니다.
- 공식 검증: 감사 비용을 절감하고 지속적인 공식 검증을 가능하게 하는 오픈 소스 공식 검증 및 개발자 도구를 제공합니다.
감사에는 일반적으로 높은 보안 수준의 검증 및 신뢰성을 보장하기 위한 수동 검토가 포함됩니다.
