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

ZSA NU6.3 따라잡기, Epoch 팀 합류

ZSA가 NU6.3 따라잡기를 마쳤고 Shielded Labs에 포스트퀀텀 연구팀 Epoch가 출범했다

안건별 요약 8

  1. Zebra 업데이트

    Zcash Foundation · Marek

    • NU7이 활성화되기 전에 채굴 풀을 위한 최적화를 여러 개 내보낼 계획이다. NU7 활성화 높이는 다음 주 화요일에 정해질 예정이다.

  2. 코어 라이브러리와 Zallet

    Zodl · Pacu

    • 지난 2주 동안 librustzcash 크레이트의 NU7 프리릴리스와 zcashd를 새 네트워크 업그레이드에 맞췄고 ZIP 리뷰도 많이 했다.
    • pasta_curves 0.6.1을 냈다. AArch64와 x86-64용 어셈블리 필드 연산으로 성능이 크게 좋아졌다.
    • Zingo 쪽이 변경을 많이 하고 있다고 해, 일단 Zallet에서 Zaino 백엔드를 뺐고 나중에 다시 붙이기로 했다.
    • NU7 테스트넷용 Zallet 릴리스를 준비 중이며 활성화 블록 높이가 정해지면 메인넷 릴리스가 이어진다. 문서 보강도 했다.
    • lightwalletd 새 버전은 오래된 팁을 알리는 지표를 추가했고, Docker 이미지는 약 2GB에서 200MB 미만으로 줄어 약 90% 감소했다고 설명했다. Ledger 기능용 PCZT 크레이트도 다듬었다.
    • 그랜트 지급을 10월 16일로 잡아 두었다고 밝혔다.

  3. Zcash Shielded Assets

    QEDIT · Vivek

    • 최근 보안 사고로 이어진 네트워크 업그레이드들을 따라잡는 작업을 끝내 ZSA가 NU6.3까지 맞춰졌다.
    • Orchard 저장소에는 작업을 둘로 나눠 올렸다. 업스트림 PR 506은 회로 변경만 담아 37개 파일로 검토하기 쉽게 했고, 빌더 등 나머지는 QEDIT 내부 PR에 있다.
    • librustzcash와 Zebra도 NU6.3 기준이다.
    • 작업을 QEDIT 저장소에서 Zcash 저장소의 전용 브랜치로 옮기는 인수인계를 핵심 팀과 논의 중이다. NU6.2와 NU6.3 대응 작업이 늘어 그랜트 조정이 필요할 수 있다고 했다.
    • 끝에 Daira가 브랜치 병합을 위한 접근 권한을 주겠다고 말했다.

  4. Crosslink와 Trailing Finality Layer

    Shielded Labs · Philip

    • FeatureNet의 첫 재시작이 10월 1일에 문제없이 끝났다. BFT 부트스트랩이 성공해 BFT가 활성화돼 확정 작업을 하고 있다.
    • finalizer 수수료 10%는 활성 명단의 finalizer에게만 지급된다. 이번 FeatureNet은 상위 12명만 활성이며 이 숫자는 시험용이다. 스테이킹 하루는 실제 24시간으로, 25초 블록 기준 약 3000블록이다.
    • 인센티브 테스트넷 두 번째 지급에서 25 ZEC를 나눴다. 약 20 ZEC는 채굴·스테이킹 참여자에게, 5 ZEC는 도구·테스트·커뮤니티 지원 기여자에게 재량으로 지급했다.
    • 노드 소프트웨어 15판을 내고 작은 네트워크 업그레이드를 진행한다. 같은 라운드에 제안이 여러 개일 때 finalizer가 멈추는 BFT 예외를 고쳤다.
    • finalizer 수수료 발행 모델도 의도대로 바로잡았고, 본드 금액을 10의 거듭제곱으로 합의에서 강제하며 약 6시간 뒤 블록 55,000 근처에서 활성화된다.

  5. 동적 수수료

    Shielded Labs · Mark

    • 수수료 추정 메커니즘 ZIP 초안은 다음 주쯤 나올 예정이다. NU7 전환을 돕는 지갑들에 getStandardFees RPC와, 더 높은 수수료를 내는 우선 레인 구현을 권할 계획이다.
    • Daira가 Zakura가 ZIP과 다른 최소 수수료를 쓴다고 들었다며 현황을 물었다. Mark는 Zakura가 400 zat으로 진행한 것으로 안다며, Arya가 ZIP 수정 PR을 낸 것으로 알고 있다고 답했다.
    • Daira는 경량 지갑 서버가 보고하는 수수료가 뒷단 노드에 달려 있어, 수수료를 덜 내면 상호운용 문제가 된다고 지적했다.
    • Zebra 쪽은 아직 결정이 없다고 Marek이 답했고, Zakura 대표가 없는 점을 Daira가 아쉬워했다.

  6. 형식 검증과 포스트퀀텀 연구

    Zodl · Daira

    • Cambridge 형식 검증 워크숍에 참석 중이다. pasta_curves에서 AArch64·x86-64 Montgomery 곱셈, AArch64 및 이식형 역원 연산을 형식 검증했다. 어셈블리는 Zakura에서 온 것이다.
    • Lean에서 보안 환원을 표현할 때 함수가 효율적인지 확인하는 키워드와 매크로를 발표했다.
    • Ironwood 형식화는 Orchard·Ironwood 액션 회로와 Halo2 지식 건전성, 잔액 무결성을 다루며 다음 목표는 spendability다.
    • Shielded Labs도 zero indexer 도구에 Quint 모델링을 하고 있어 곧 블로그 글을 낼 계획이다.
    • 격자 기반 포스트퀀텀 다항식 커밋먼트 Akita를 Ragu의 PCS 자리에 쓸 수 있다고 본다. 증명 크기는 85k 정도로, 이산로그 방식의 약 12배이고 해시·코드 기반의 약 200KB 이상보다 작다고 추정했다.
    • 보안 증명 일부가 빠져 있고 Ragu에 맞추는 작은 설계 변경도 필요해 연구는 더 남았다. 추정 도구는 채팅에 올렸다.

  7. Epoch

    Shielded Labs · Ulrich

    • Ulrich가 10월 1일 Shielded Labs에 합류해 Epoch 팀을 이끈다. 이전 Aztec 출신 두 명(Suez Spaga, Luke Edwards)이 합류해 3인 팀이 된다.
    • Epoch의 목표는 포스트퀀텀 위협에 대비한 증명·서명 체계와 전체 설계를 정하는 것이다. 증명이 최소 12배 커지는 데 따른 처리량 문제도 다룬다.
    • Zodl 등 생태계와 협력할 계획이다.

  8. 공지와 논의

    Marek

    • Strad가 ZIP 218과 237 사이의 모순을 찾았다. NU7을 그대로 배포하면 반올림 때문에 총 발행량에서 0.67 ZEC가 빠진다.
    • 그대로 두고 이후 업그레이드에서 고치거나, 지금 고치려면 테스트넷을 되돌려야 한다. Daira는 ZIP 237의 해당 주장을 ZIP 218이 수정하도록 고치겠다고 했다.
    • 다음 Arborist 콜은 11월 12일이다. ZCon 기간인 10월 29일 콜은 취소됐다.
원문 회의록 (GitHub) ↗YouTube에서 보기 ↗

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