NU 6.3 테스트넷 7월 1일 목표
Ironwood를 담은 NU 6.3 테스트넷 활성화가 7월 1일 목표로 잡혔다
안건별 요약 13
Zebra 업데이트
Zcash Foundation · Arya
- 릴리스 방식을 통합 릴리스 워크플로로 더 자동화했고, 서명된 바이너리를 릴리스 아티팩트로 첨부하기 시작했다.
- non-finalized 상태의 reorg 창을 100블록에서 1000블록으로 늘려 최근 1000블록을 메모리에 유지하며 롤백할 수 있다.
- Kris가 기여한 find fork point로 포크의 공통 뿌리 높이와 해시를 찾는다.
- index RPC 서버에 재개 가능한 non-finalized 블록 스트리밍을 추가해 Zaino와 Zallet이 trusted chain sync 모듈과 더 잘 동기화한다.
- Ironwood value balance 풀을 포함한 NU 6.3 네트워크 업그레이드 작업을 시작했다.
- 체인 팁이 바뀔 때 명령을 실행하는 zcashd의 block notify 설정 옵션도 추가 중이다.
ZODL 업데이트: Ironwood
ZODL · Pacu, Daira Emma
- Ironwood의 v6 트랜잭션 포맷과 서명 구현은 Valar Group의 구현을 리뷰해 병합했다.
- Shambo가 보낸 Ironwood 관련 librustzcash PR과 Valar Group의 Keystone 다중 트랜잭션 서명(자금 이전용) 구현도 리뷰했다.
- 전날 NU 6.3 배포 ZIP과 v6 트랜잭션 포맷 ZIP의 초안을 병합해 ZIP 사이트에서 볼 수 있다.
- 테스트넷 NU 6.3 활성화를 7월 1일로 목표하지만 채굴자들이 강력한 장비로 테스트할 것이라 높이는 마지막 순간에 정하려고 TBD로 두었다.
- Daira Emma는 NU 6.3 회로 변경이 Orchard crate에 병합됐고 마이그레이션과 지갑 고려사항을 다룬 ZIP 두 건, 수수료 관련 ZIP 317 갱신이 남았다고 했다.
- NU 6.2와 6.3 직전 긴급 업그레이드의 합의 변경을 명세에 문서화하고 있다.
- 사용자 경험과 향후 Ironwood 이전에 대한 문서와 명세도 작성 중이다.
ZODL: zcashd, 핵심 라이브러리, Zallet 업데이트
ZODL · Pacu
- 스택 전반에서 zcash_primitives 0.25 의존성 업그레이드를 마쳤다.
- Zallet 알파 4를 완성해 릴리스 절차 중이며 이날 공개될 수 있다.
- 신규 지갑 경로뿐 아니라 zcashd 데이터 파일 마이그레이션이 포함되므로, 파일을 백업한 뒤 테스트넷이나 메인넷에서 이전을 시험해 잔액 차이를 알려 달라고 요청했다.
- Zallet은 Zaino 또는 Zebra를 직접 백엔드로 고르는 옵션을 곧 제공한다.
- 전체 기능으로 빌드할 때 서로 배타적인 기능이 충돌하는 문제가 그때 해소된다.
Zaino 업데이트
Zingo Labs · Za
- NU 6.2 업그레이드를 담은 Zaino 0.4.1을 릴리스했다.
- 실험적 gettxoutsetinfo 기능과 얽혀 동기화에 문제를 일으키던 버그를 해결했다.
- 인덱스 구축을 기다리지 않고 쓸 수 있는 선택적 데이터베이스 플래그를 포함한 0.5.0을 준비 중이며, 이 또한 gettxoutsetinfo 동기화 문제를 다루고 있다.
- Orchard에 직접 의존해 의존성 충돌을 일으키던 Zingo Lib를 테스트 의존성에서 완전히 제거하고 dev tool로 바꿨다.
- zcashd 기본 테스트를 끄고 zcashd 플래그로 선택하게 했다.
- 릴리스 기준을 Zallet의 실제 사용 사례에 대한 라이브 테스트 중심으로 바꾸고, 하네스에 Zallet CLI를 추가할 예정이다.
- 1000블록 reorg 깊이를 쓰는 최신 Zebra 업그레이드도 진행 중이다.
zcashd 폐기 업데이트
Electric Coin Company, Zcash Foundation, Zingo Labs · Pacu, Pili
- Zallet이 Zaino나 Zebra 중 백엔드를 선택하는 옵션 PR이 곧 반영된다.
- 알파 4에 포함될지는 확실하지 않다.
- Pili는 Zebra의 block notify 설정 옵션을 강조했다.
- 사람들이 쓰고 있는 줄 몰랐던 기능이지만 이제 구현됐다.
ZSA 업데이트
Qedit · Vivek
- Orchard의 Qedit ZSA 브랜치가 NU 6.2 변경을 모두 따라잡았고 최종 리뷰 단계이다.
- ZSA는 이후 업그레이드이므로 나쁜 회로에서 ZSA가 동작할 필요가 없어 회로 버전 처리를 정리하고 있다.
- Zebra에 PR 10628을 열었고, 큰 방향 재검토가 필요한지 ZF에 상위 접근 방식 리뷰를 요청했다.
- Ironwood와 보안 작업이 우선순위가 높아 피드백이 오면 대응한다.
- ZIP은 Ironwood의 새 트랜잭션 포맷과 확장형 트랜잭션, 양자 복구성이 ZSA와 스왑에 미치는 영향을 지켜보고 있다.
- librustzcash와 트랜잭션 도구는 변경에 대응할 수 있게 유지하고 있다.
Network Sustainability Mechanism(NSM) 업데이트
Shielded Labs · Judah
- ZIP 234 PR과 ZIP 235 버그 수정 PR 두 건이 열려 있다.
- Ironwood 진행 중이라 시간이 없을 수 있지만 리뷰해 주면 감사하겠다고 했다.
Crosslink 업데이트 (Trailing Finality Layer)
Shielded Labs, ZODL · Nate, Daira Emma
- feature net은 초기 세대 그대로 finality가 멈춘 상태이고, 일부 사용자는 100블록 롤백 한계에 걸려 해소되지 않는 영구 포크에 놓였다.
- 리셋 대신 이런 불행한 경우를 분석하고 도구를 개선해 사용자가 원인을 파악하도록 하고 있다.
- 첫 시즌의 메인넷 보상은 두 가지로 나뉜다.
- 테스트넷 발행량에 비례하는 비재량 보상과, Shielded Labs가 인프라와 도구를 만든 커뮤니티 기여자와 활발한 참가자에게 주는 재량 보상이다.
- 소프트웨어 쪽에서는 사용자 주도 슬래싱 도구를 시험하고 있다.
- 충분한 사용자가 합의해 특정 Finalizer의 스테이크를 슬래시하는 포크를 조직하도록 돕는 탐색적 도구이다.
- 하위 호환이 안 되는 개선은 대기열에 쌓아 두었다가 네트워크를 재부팅할 때 2세대로 배포한다.
- Daira Emma가 자동 슬래싱 대신 사용자 주도를 택한 이유를 묻자 Nate는 자동 규칙은 오탐과 미탐 문제가 있고, 가용성 슬래싱은 DoS로 악용될 수 있어 단순함을 위해 택했다고 답했다.
- Daira Emma는 자동 슬래싱의 표준 논거도 들었고, 깊은 논의는 R&D 회의와 Zcash Summit으로 미뤘다.
- ZIP 초안은 이슈언스가 PoS 하위 시스템을 거쳐 본드 보유자와 Finalizer 수수료에 분배되는 기본 설계를 작성했다.
- 세 번째 워크숍은 7월 23일로 잠정 계획했다.
동적 수수료(Dynamic Fees) 업데이트
Shielded Labs · Mark
- Cipher Wallet(Cipher Pay, Cipher Scan 제작자의 지갑)이 우선 처리와 가속 의미 기능을 일주일 안에 구현하고, 브라우저 확장 지갑 Noir Wallet도 구현한다.
- 메인넷의 우선 트랜잭션 활동이 늘 전망이다.
- Zebra에 getstandardfee RPC를 추가하는 PR을 만들었다.
- 지금은 ZIP 317의 5000 zat 한계 수수료만 반환하며, 나중에 수수료 추정기가 나올 때 사용자가 같은 엔드포인트를 쓰게 하려는 것이다.
- Alfredo와 Gustavo가 리뷰했다.
- 우선 처리 레인을 보여 주는 공개 시각화 사이트도 만들 계획이다.
그랜트 발표: zebra-chain 형식 검증
Runtime Verification · Natalie, Paulina, Juan, Daira Emma
- Runtime Verification의 3인 팀이 Zebra의 산술과 파싱 계층(zebra-chain)을 Lean으로 형식 검증하자고 제안했다.
- 이 계층의 암호 프리미티브는 이미 감사된 라이브러리 위에 있고, 테스트는 일부 입력만 보지만 증명은 모든 입력을 검증한다.
- Rust 코드를 도구(Aeneas 등)로 Lean으로 옮겨 정리와 사양 정리를 증명한다.
- 첫 4주 파일럿에서 18개 이상 정리를 증명한다.
- 대상은 amount 산술, compact size의 비정규 인코딩, 높이 계산이며, 이런 버그는 노드 간 합의 분기를 일으킬 수 있다.
- 전체 로드맵은 4~6개월, 네 단계이다.
- 핵심 개발자에게 파일럿 동안 2~3시간의 확인이 필요하며, 결과는 공개 저장소에 두고 누구나 Lean 커널로 재검증할 수 있다.
- Daira Emma는 AI로 형식 검증이 빨라졌으니 일정이 길다고 했다.
- 최근 실제 버그는 타원곡선 점 파싱(저위수 점, 항등원, 비정규 인코딩)에서 많았으니 이를 일정 앞쪽으로 당기고, 다른 형식 검증과 맞물리도록 협력을 당부했다.
- Natalie는 로드맵을 다시 짤 수 있다고 답했다.
- Daira Emma는 Rust 코드 변경에 형식화가 따라갈 수 있는지 물었고, Juan은 AI 지원과 CI 통합으로 가능할 것이라 답했다.
- Pili는 ZF 팀의 그랜트 검토가 다음 주쯤이라고 했다.
공개 토론: Crosslink 테스트넷 포크와 롤백 한계
Daira Emma, Nate
- Daira Emma는 비공개 테스트넷에서는 없던 수준의 파편화가 왜 생겼는지 물었다.
- Nate는 새 네트워킹 프로토콜의 PoW 블록 동기화 버그나 성능 문제, 그리고 faucet 없이 CTA를 얻게 하려고 노드가 기본적으로 CPU 채굴을 하게 한 설정 등 여러 원인이 겹쳤다고 답했다.
- Daira Emma는 Zebra는 100블록을 넘는 롤백을 하지 않고 자신의 체인에 머물러 복구가 어렵고, zcashd는 종료한다며 Zebra도 롤백 한계를 600블록으로 늘리고 동작을 바꿔야 한다고 했다.
- Nate는 롤백 시 노드가 크게 경고하며 멈추는 쪽이 안전할 수 있다고 맞섰다.
- Daira Emma는 Crosslink에서는 finality 지점이 객관적으로 정해지므로 확정된 것만 영구 저장하면 되고, 포크 깊이 경고는 운영자의 로컬 설정 문제가 된다고 설명했다.
- Nate는 Zebra의 고정 한계 대신 가장 최근 확정 지점까지 동적으로 롤백하도록 해야 하며 아직 구현하지 않았다고 했다.
- Nate는 Crosslink가 PoW 포크 여부라는 주관적 추측을 'PoW 포크이거나 finality 정지'라는 로컬에서 판단 가능한 객관적 사실로 바꾼다는 점을 강조했다.
공개 발표: ZecD 서버사이드 지갑 오픈소스
Zec.rocks / Overpay · Blake, Daira Emma
- Blake는 Zcash로 무엇이든 살 수 있는 Overpay를 위해 자체 서버사이드 지갑을 만들어 왔고, 이를 ZecD라는 이름으로 Zec.rocks GitHub에 오픈소스로 공개했다.
- zcashd와의 하위 호환을 목표로 하지 않고 Bitcoin RPC 패턴을 따른다.
- 상태가 없어 모든 자금을 시드 문구로 복구할 수 있고, 주소는 시드에서 파생되며 계정 0만 지원한다.
- Zebra와만 직접 통신하고 regtest 테스트 스위트가 있으며 수백만 주소 규모를 목표로 한다.
- zcashd에서 ZecD로의 유일한 이전 경로는 체인에서 자금을 보내는 것이다.
- 투명 주소 지원은 이날 브랜치로 공개하며, 보안 감사는 차폐 쪽 범위로 추진한다.
- Daira Emma는 Zallet에도 경쟁이 필요하다며 환영했고, 투명 주소를 지원하는 타협은 아쉽지만 실용적 판단은 이해한다고 했다.
공개 토론: NU 6.3 이후 zcashd 지원 제안
Daira Emma, Jason, Pili
- Daira Emma는 Shielded Labs가 NU 6.3 활성화 이후에도 zcashd를 지원하는 안을 제안했다고 들었는데 좋은 생각이 아니라고 했다.
- 핵심 개발자는 zcashd를 고려하지 않고 합의 버그 수정을 결정할 것이고, Zebra만 지원 구현이면 명세와의 일관성을 확보하기 쉽지만 zcashd가 남아 있으면 모든 분기가 즉시 대응해야 하는 보안 버그가 된다는 이유이다.
- Jason은 Ironwood를 빨리 활성화하고 운영자가 안전하게 Zebra로 옮기자는 목표는 같다고 했다.
- 현재의 공격적인 일정에 맞추지 못하는 채굴 풀, 거래소 등을 위해 Shielded Labs가 만드는 Zero 스택이 임시로 zcashd 호환을 제공해 Ironwood로 올라가게 돕는 단기 가교를 탐색 중이라고 했다.
- 일부 채굴 풀은 Zallet이 알파라 일정이 너무 빠르다고 한다.
- Daira Emma는 주요 채굴 풀이 zcashd를 쓰면 AI가 찾는 zcashd와 Zebra 간 합의 분기가 몇 달 동안 남는 위험이 있다며, zcashd 폐기가 아닌 NU 6.3의 일정을 재검토하자고 했다.
- Pili는 시간이 없어 오프라인에서 논의하자고 정리했다.
한국어 요약은 원문을 바탕으로 정리한 것으로, 정확한 내용은 원문을 확인하세요.