메뉴
이 저장소의 skills
SkillsMP는 Yue-Zhou1/zkcrypto-audit에서 84개의 skill을 수집했습니다. skill을 열어 소스와 세부 정보를 확인하세요.
Yue-Zhou1/zkcrypto-audit수집된 skill 84개 중 4개를 표시합니다.
Audit Cairo and Starknet code for hint validation failures, felt252 overflow, builtin misuse, and Sierra-to-CASM soundness gaps. Use when reviewing Cairo contracts, prover hints, or Starknet-specific proof construction.
원문 언어: 영어
Audit folding scheme and IVC implementations for accumulator soundness, step circuit binding, cycle-of-curves correctness, and running instance completeness. Use when reviewing Nova, HyperNova, ProtoStar, or custom folding-based proof systems in Rust.
원문 언어: 영어
Audit gnark circuits and Go witness pipelines for frontend/backend mismatch, public/private witness exposure, constraint API misuse, and serialization boundary errors.
원문 언어: 영어
Audit Noir circuits for unconstrained function boundary failures, oracle validation gaps, Brillig/ACIR consistency issues, and witness-generation soundness bugs.
원문 언어: 영어