Certora, 스마트 계약을 위한 최초의 안전한 AI 코딩 플랫폼 출시
암호화폐/블록체인 전문 정보
[보도 자료 – 이스라엘 텔아비브-야포, 2025년 11월 21일] Web3의 가장 앞선 팀이 신뢰하는 풀 스택 보안 보증 플랫폼인 Certora는 오늘 공식 검증을 통해 인공 지능을 구성하여 스마트 계약 개발을 더 빠르고 안전하게 만드는 오픈 소스 AI 코딩 플랫폼인 Certora AI Composer를 발표했습니다. 속도와 편의성에 초점을 맞춘 일반적인 “코드용 AI” 도구와 달리 Certora AI Composer는 모든 AI 생성 스니펫이 실행되기 전에 수학적 안전 규칙을 준수하도록 보장합니다. Certora의 입증된 형식
핵심 특징
고품질
검증된 정보만 제공
빠른 업데이트
실시간 최신 정보
상세 분석
전문가 수준 리뷰
상세 정보
핵심 내용
[보도 자료 – 이스라엘 텔아비브-야포, 2025년 11월 21일] Web3의 가장 앞선 팀이 신뢰하는 풀 스택 보안 보증 플랫폼인 Certora는 오늘 공식 검증을 통해 인공 지능을 구성하여 스마트 계약 개발을 더 빠르고 안전하게 만드는 오픈 소스 AI 코딩 플랫폼인 Certora AI Composer를 발표했습니다. 속도와 편의성에 초점을 맞춘 일반적인 “코드용 AI” 도구와 달리 Certora AI Composer는 모든 AI 생성 스니펫이 실행되기 전에 수학적 안전 규칙을 준수하도록 보장합니다. Certora의 입증된 형식 검증 기술을 AI 생성 루프에 직접 내장함으로써 개발자는 보안 불변성이 새로 장착되지 않고 지속적으로 확인된다는 사실을 알면서 자신 있게 설계 아이디어를 탐색할 수 있습니다. “AI를 사용한다고 해서 안전성이 저하되는 것은 결코 아닙니다.
상세 분석
Certora AI Composer는 AI와 공식 검증이 함께 작동하여 기본적으로 스마트 계약 개발을 신뢰할 수 있게 만들 수 있음을 증명합니다.”라고 Certora 설립자 Mooly Sagiv는 설명했습니다. “이번 알파 릴리스는 안전한 자율 코딩의 미래를 만들어가는 데 도움이 되도록 커뮤니티에 초대하는 것입니다.” Certora AI Composer Alpha는 12월 4일부터 오픈 소스로 제공되며 GitHub의 커뮤니티에서 사용할 수 있습니다. 개발자는 실험하고, 피드백을 제공하고, 검증된 AI 기반 개발을 위한 새로운 표준을 형성하는 데 기여하도록 권장됩니다. 주요 기능: AI 생성 코드에 대한 통합 공식 검증 검사 자체 안전 모듈을 구축하기 위한 오픈 소스 확장성 Certora의 업계에서 신뢰받는 검증 엔진인 Certora Prover의 지원을 받는 Certora는 12월 4일에 “AI가 검증을 만나다: Certora 연구원과의 공개 토론”이라는 제목의 라이브 스트림 이벤트를 주최할 예정입니다.
정리
이 이벤트에서는 Certora AI Composer의 작동 방식과 보안 강화를 위해 수행할 수 있는 작업에 대한 자세한 설명을 제공합니다. 사용자는 여기에서 이벤트에 등록할 수 있으며, 트위터 @CertoraInc에서 팔로우하여 향후 업데이트 및 알림을 받을 수 있습니다. Certora 소개 Certora는 Web3의 가장 앞선 팀이 신뢰하는 보안 보증 파트너입니다. 프로그래밍 언어 및 형식적 방법의 선구자들이 2018년에 설립한 Certora는 Lido, Aave, Uniswap 및Compound와 같은 선도적인 프로토콜이 자신 있게 수십억 달러의 가치를 확보하도록 돕습니다.
자주 묻는 질문
Q. 어떤 정보를 제공하나요?
A. 암호화폐/블록체인 관련 최신 정보를 제공합니다.
Q. 신뢰할 수 있나요?
A. 검증된 출처만 선별합니다.
Q. 더 궁금한 점은?
A. 댓글로 문의하세요.
원문 출처
이 글은 원본 기사를 참고하여 작성되었습니다.