Community코딩 & 개발github.com

Yue-Zhou1/zkcrypto-audit

영지식 시스템 및 암호화 프로토콜의 보안 감사를 위한 에이전틱 스킬 프레임워크입니다.

zkcrypto-audit란 무엇인가요?

이 스킬은 영지식 증명 시스템과 암호화 프로토콜의 보안 감사를 자동화하는 에이전틱 프레임워크입니다. 개발자와 보안 감사자가 zk-SNARKs, zk-STARKs, Bulletproofs 등 최신 영지식 시스템에서 발생할 수 있는 취약점을 식별하고 분석하는 데 도움을 줍니다. 주로 Rust 기반의 암호화 라이브러리(Groth16, Bellman, arkworks 등)와 함께 사용되며, 코드 분석, 검증 회로 검토, 보안 속성 확인을 지원합니다. 이 프레임워크는 AI 에이전트(Claude Code, Cursor 등)와 통합되어 감사 과정을 반자동화하며, 암호화 구현의 정확성, 안전성, 그리고 타이밍 공격에 대한 저항성을 평가합니다.

지원 대상~Claude Code~Codex CLI~Cursor✓Antigravity
npx skills add Yue-Zhou1/zkcrypto-audit

Installed? Explore more 코딩 & 개발 skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →

즐겨 사용하는 AI에게 물어보기

이 에이전트 스킬이 미리 로드된 새 채팅을 엽니다.

문서

zkcrypto-audit은(는) 무엇을 하나요?

영지식 시스템 및 암호화 프로토콜의 보안 감사를 위한 에이전틱 스킬 프레임워크입니다.

관련 스킬