ZKGZcash Korea
Guide
← 모든 콜 보기
ARBORIST#124

ZcashD 폐기 가속 논의

AI 보안 발견이 이어지자 ZcashD 폐기 일정을 앞당기는 방안이 논의됐다

안건별 요약 10

  1. Zebra 업데이트

    Zcash Foundation · Marek

    • 지난 2주 동안 보고된 보안 권고를 처리했다.
    • 직전 콜 직후 일부 수정을 담은 Zebra 4.3.1을 릴리스했고, 곧 추가 수정을 담은 새 버전을 낼 예정이다.

  2. ZODL 업데이트

    ZODL · Daira Emma

    • sapling-crypto 0.7.0, orchard 0.13.0과 librustzcash 스택 전체를 릴리스했다.
    • 기존 core2 crate가 원 관리자에 의해 yank돼 대체 crate를 직접 만들었으며, 안전하지 않은 코드에 의존하지 않고 no_std 환경도 지원한다.
    • Zallet 지갑 가져오기를 제네시스까지 거슬러 올라가는 이력으로 회귀 테스트할 수 있게 됐다.
    • 테스트용 regtest 지갑을 만들어 확인했고 통합 테스트 저장소에 PR이 올라와 있다.
    • 연구 쪽에서는 양자 복구성 명세의 정리 PR을 병합했고, 이전의 비공식 보안 논증을 완전한 형식적 증명으로 만드는 작업을 진행하고 있다.
    • Zcash 코드베이스 작업용 AI 에이전트 스킬 저장소도 정리했다.
    • 보안 릴리스인 zcashd 6.12.1을 냈으며 ZODL 블로그에 글이 있다.

  3. Zaino 업데이트

    Zingo Labs · Hazel, Alfredo

    • 공개적으로 드러나는 변경은 적고 내부 작업이 많았다.
    • 테스트 속도를 높이고 통합 테스트를 개선했으며, lightwalletd와 어긋나던 API(주로 버전 번호)를 고쳤다.
    • core2 대신 core-zed에 의존하는 새 의존성으로 업그레이드하고 정상 종료를 개선했으며 중복 코드를 정리했다.
    • Alfredo는 zancas가 Zebra에 올린, Zaino에 문제를 일으키는 의존성 이슈를 알렸고 Hazel은 처음 안다며 링크를 받았다.

  4. zcashd 폐기 업데이트

    Electric Coin Company, Zcash Foundation, Zingo Labs · Pacu

    • 새 Zaino 릴리스를 준비 중이며, 릴리스 관리자 Nacho가 이동 중이라 기다리고 있다.
    • Zaino를 Zebra 4.3.1로 올렸고, 의존 관계를 정리해 Zebra 버전 업데이트가 훨씬 빨라졌다.
    • lightwalletd와 Zaino의 동등성 통합 테스트에서 투명 데이터 관련 문제를 정리했고 PR이 리뷰를 기다린다.
    • light client 워킹 그룹은 격주 목요일 17시(UTC)에 열린다.
    • 블록 익스플로러 RPC는 대부분 완료돼, 남은 몇 개는 실제 사용 여부를 확인하고 정리할 예정이다.

  5. zcashd 폐기 가속과 보안 취약점 논의

    Daira Emma, Arya, Zooko, Pili, Pacu, Jason

    • Daira Emma는 AI 취약점 발견이 심각해져 zcashd를 더 빨리 폐기해야 한다고 주장했다.
    • 6.12.0은 일부 경우 Sprout 증명을 검증하지 않던 버그를 고쳤다.
    • 6.12.1은 항등원 점과 관련한 zcashd와 Zebra의 크래시 버그, 두 구현 간 합의 분기, 검사를 우회하는 버그를 고쳤다.
    • 잔액 산술의 정의되지 않은 동작 가능성에 대응해 디스크에 저장된 잔액을 복구하는 체크포인트 메커니즘도 추가했다.
    • Daira Emma는 Microsoft의 Patch Tuesday처럼 보안 업데이트를 예측 가능한 날짜에 내는 방식과, Sprout 코드를 제거하기 위한 프로토콜 단순화를 제안했다.
    • Arya는 zcashd를 Zebra 노드 뒤에 두는 방식을 권했고 Daira Emma는 Zebra의 크래시 버그와 합의 분기에 동시에 노출돼 장점만 취하지 못한다고 반박했다.
    • Zooko는 Shielded Labs가 체인 포크 위험을 알면서도 당장 zcashd를 끌 수 없는 파트너에게 이를 계속 권장한다고 했다.
    • Zooko는 Shielded Labs가 Taylor Hornby를 고용해 Zebra와 zcashd를 감사하게 한다고 밝혔다.
    • Zcash Community Grants는 총 100만 달러의 버그 바운티를 발표했으며 보고서당 최대 금액은 22만 5천 달러이다.
    • Pili는 중복 제보가 늘고 있어 낮은 위험도의 문제는 이미 발견됐을 가능성을 언급했다.
    • Pacu는 Kris가 제안한 방향으로, 마찰 없는 전환을 포기하고 가장 중요한 사용 사례를 기능적으로 맞춘 뒤 아웃리치와 지원을 크게 강화해 폐기를 앞당기기로 했다고 설명했다.
    • Jason은 ZSA가 NU 7에 포함되지 않으므로 zcashd 폐기를 이유로 다음 네트워크 업그레이드를 막지 말고, 몇 달 안에 폐기가 어렵다면 범위에 합의된 후보로 zcashd와 Zebra 모두에서 업그레이드하자고 했다.
    • Daira Emma는 이미 정한 NU 7 구성을 계속 바꾸지 말자고 했다.

  6. ZSA 업데이트

    Qedit · Vivek

    • ZecHub에서 발행, 전송, 원자적 스왑을 아우르는 전체 기능의 엔드투엔드 데모를 진행했으며 YouTube에 올라와 있다.
    • 로컬에서 실행하거나 스왑을 지원하는 Qedit 노드에 접속해 볼 수 있고 곧 포럼에 글을 올린다.
    • ZSA가 NU 7에 포함되지 않으므로 스왑의 합의 관련 내용을 ZIP 226, 227, 228에 흩어 두지 않고 ZSA ZIP에 통합하는 방안을 논의하기 시작했다.
    • Orchard PR은 Str4d의 리뷰 코멘트에 모두 답했고 장기 ZSA 브랜치로의 병합 응답을 기다린다.
    • 스왑용 구조 변경은 리뷰가 끝난 뒤 Daira Emma와 논의해 반영한다.
    • 다른 crate도 리뷰 준비 상태이며, Zebra용 마지막 PR도 준비가 끝났다.

  7. Network Sustainability Mechanism(NSM) 업데이트

    Shielded Labs · Judah

    • Conrado가 deferred pool 잔액 변화의 0 값을 쓰던 작은 실수를 찾았다.
    • 해당 절차가 올바른 값을 계산하도록 매개변수를 전달하고 호출부를 모두 갱신했으며, 이런 실수를 잡는 회귀 테스트도 추가했다.
    • 이 PR이 병합되면 후반부 PR을 검토할 수 있으며, 추가 리뷰가 필요하다.

  8. Crosslink 업데이트 (Trailing Finality Layer)

    Shielded Labs, ZODL · Mark, Pacu, Daira Emma, Zooko

    • feature net이 4월 16일에 열려 참가자를 지원하고 있다.
    • 6명이 91개 커밋을 했고, Cipherscan의 Crosslink 버전을 포함한 커뮤니티 블록 익스플로러가 최소 3개 만들어졌다.
    • 외부 커뮤니티의 첫 PR이 병합됐다.
    • 핵심 작업은 블록 동기화용 맞춤 UDP 전송 계층(작업명 shielded transport pigeon)이다.
    • UDP 데이터그램에 ID를 붙여 snow 라이브러리로 Noise 암호화하고 최대 8MB로 재조립한다.
    • Noise에는 포스트 양자가 없어 clatter 도입을 검토하며 지금은 마이그레이션 부채를 감수한다.
    • 블록 동기화를 이 전송 계층으로 교체했고 mempool은 기존 방식이다.
    • 실제 수수료 값과 스테이킹 창 검증을 강화했고, T 주소와 unified 주소 지갑, funding stream이 동작한다.
    • 인센티브 보상용 스캐너와 coinbase를 만들고 있으며 다음은 스테이킹 보상, Finalizer 커미션, mempool 동기화, flyclient 높이 증명 검토이다.
    • Daira Emma는 QUIC 같은 검증된 프로토콜을 두고 새 UDP 전송 계층을 만드는 것은 유지보수 부담이 크고 Crosslink의 원래 범위를 넘는다고 비판했다.
    • Zooko는 최고 제품 책임자로서 자신의 결정이라며, 시즌 1은 이 전송 계층을 쓰고 시즌 2에서 개선해 쓴 뒤 재검토하는 것이 계획이라고 답했다.

  9. 동적 수수료(Dynamic Fees) 업데이트

    Shielded Labs · Mark

    • 큰 업데이트는 없다.
    • 개인 사정이 있었으며, 곧 최근 작업을 알리는 블로그 글을 낼 예정이다.
    • 하루이틀 안에 좋은 소식이 있을 것이라고 했다.

  10. 공개 토론: Rust 코드의 형식 검증

    Natalie, Daira Emma, Conrado, Pacu

    • Natalie가 Zcash와 Zebra의 Rust 코드 형식 검증 현황을 물었다.
    • Daira Emma는 Lean 4로 Halo 2를 검증하는 그랜트 제안을 열렬히 지지하며, 가능하면 프로토콜 전체를 Lean 4로 검증하고 싶다고 했다.
    • AI가 형식화와 Lean 4에서 매우 유능해져 6개월 전에는 어려웠던 일이 가능해졌다고 했다.
    • 다만 Rust 코드 번역보다 설계 검증이 당장 더 현실적이라고 했다.
    • 타원곡선 최적화나 Sapling과 Orchard 회로처럼 복잡성이 본질적인 부분이 검증 대상이고, zcashd의 C++ 코드는 검증이 불가능해 폐기해야 한다고 했다.
    • Natalie가 Aeneas로 Rust를 Lean으로 번역한 타원곡선 검증 프로젝트를 언급했고, Daira Emma는 알고 있으나 자신의 주 관심사는 아니라고 답했다.
    • Conrado는 Zcash Foundation은 현재 Zebra의 형식 검증을 하고 있지 않다고 확인했다.
    • Pacu는 Halo 2 형식 검증 그랜트가 아직 피드백을 받는 중이니 의견을 달아 달라고 요청했다.
원문 회의록 (GitHub) ↗YouTube에서 보기 ↗

한국어 요약은 원문을 바탕으로 정리한 것으로, 정확한 내용은 원문을 확인하세요.