Anthropic은 Claude를 사용하여 123개 오픈 소스 라이브러리의 보안 속성을 증명합니다.

본문

Anthropic의 Frontier Red Team은 Claude를 사용하여 몇 주 만에 어셈블리 수준에서 123개 오픈 소스 라이브러리의 보안 속성을 공식적으로 확인했습니다. Frontier Red Team은 AI가 이제 조립 수준에서 공식적인 검증을 처리할 수 있다고 말합니다. 이는 한때 전문가가 수년이 걸렸던 작업입니다. Anthropic은 자사의 Claude 모델이 123개의 오픈 소스 라이브러리에서 보안 속성을 검증했다고 말합니다. Anthropic 팀에 따르면 검증에는 너무 많은 전문가 시간이 필요하므로 대부분의 실제 프로젝트에서는 비실용적이며 대부분 실패 비용이 청구서를 정당화할 만큼 비용이 많이 드는 소규모 코드베이스 또는 시스템으로 제한됩니다. Anthropic은 Claude가 이제 어셈블리 수준에서 대규모 생산 소프트웨어의 보안 속성을 확인할 수 있다고 말합니다.

연구에서는 이를 실제 프로젝트에 엄격한 증명을 적용하고 기존 보안 방법에 대한 의존도를 줄이는 것으로 설명합니다. 123개 라이브러리에 걸쳐 이를 수행하는 것이 규모의 주장이며 규모는 검증된 적이 없는 것입니다. 이것은 오픈 소스 보안에 대한 Anthropic의 첫 번째 통과가 아닙니다. 팀은 이전에 25개의 오픈 소스 프로젝트에 대해 공격 표면 분석을 실행했습니다. 검증 프로젝트와 초기 스캔은 OSS 스캐너라고 부르는 노력을 포함하여 방어적인 오픈 소스 보안에 대한 더 광범위한 Anthropic 추진 내부에 있습니다. Anthropic의 연구원들은 시작 전제에서 그 점을 인정합니다. Anthropic은 신속한 공식 검증을 위해 AI를 사용하여 강력한 보안 증명에 대한 액세스를 민주화하고 소프트웨어 개발 표준을 재구성할 수 있습니다.

Anthropic이 Claude를 사용하여 123개 오픈 소스 라이브러리의 보안 속성을 증명한 게시물이 Crypto Briefing에 처음 등장했습니다.