Crosslink 상시넷·ZEC 보상
Crosslink가 약 6주 시즌제 상시 피처넷과 ZEC 보상 체계로 전환했다
안건별 요약 7
Zebra 업데이트
Zcash Foundation · Alfredo
- RocksDB를 동적 링크로 바꿔 CI 빌드를 빠르게 했다.
- 이 과정에서 생긴 런타임 크래시는 이미 고쳤다.
- 메이저 릴리스에 영향을 주던 숨은 버그가 있던 배포 파이프라인을 리팩터링하고, 체크포인트 목록 늘리기와 지원 계산 같은 릴리스 수작업을 자동화하고 있다.
- 사람이 수작업으로 찾기 어려운 버그를 찾기 위해 Zebra의 여러 부분과 crate를 AI 연구로 시험하고 있다.
- 테스트넷 동기화 문제도 고쳤다.
- 성능 개선과 벤치마크 PR이 3~4건 열려 있으며, 다음 주에 묶어 곧 릴리스할 예정이다.
ZODL 업데이트
ZODL · Daira Emma
- ZODL의 문제를 해결하는 새 스택 릴리스를 준비 중이며, Zallet 알파 쪽도 진전이 있다.
- Sprout 증명 검증 버그에 대한 zcashd 보안 공개를 했다.
- 상세한 내용은 ZODL 블로그에 있다.
- joinsplit 증명이 두 번 검증되지 않도록 한 최적화가 잘못돼 있었고, 이미 수정됐으며 다수 채굴 풀이 패치를 채택하면서 완화됐다.
- 핵심 라이브러리에서 하드웨어 지갑 연결 해제를 지원하고 있고, ZODL 지갑에서 만료되어야 할 트랜잭션이 대기 중으로 표시되는 문제 등 트랜잭션 상태 표시도 개선하고 있다.
zcashd 폐기 업데이트와 Zaino 릴리스
Electric Coin Company, Zcash Foundation, Zingo Labs · Pacu, Hazel, Alfredo
- Zallet과 ZODL의 협업에서 나온 수정이 포함된 Zaino 릴리스가 곧 나온다.
- lightwalletd와 zainod의 비교 테스트를 포함한 통합 테스트를 확장하고 있으며, ZF, Zingo Labs, ZODL이 z3 스택의 프로덕션 시나리오를 위한 테스트 인프라도 함께 만들고 있다.
- Hazel은 내일 릴리스 후보를 낸다고 했다.
- Sapling 활성화 높이가 없는 regtest 네트워크를 처리하지 못한 버그 수정과 데이터베이스 업데이트가 있고, 문서화와 pass-through 내부 정리는 이번에는 포함되지 않는다.
- get compact block stream의 범위 밖 블록 처리와 tree state 일관성 수정으로 lightwalletd와 동작이 맞춰졌다.
- Alfredo의 lightwalletd 호환 질문에는 일부 작업이 진행 중이나 우선순위가 다소 낮다고 답했다.
Network Sustainability Mechanism(NSM) 업데이트
Shielded Labs · Judah
- Shielded Labs에 바쁜 달이었다.
- Conrado가 PR에 남긴 피드백을 월요일까지 반영해 추가 리뷰를 받을 준비를 하겠다고 했다.
Crosslink 업데이트 (Trailing Finality Layer)
Shielded Labs, ZODL · Nate, Sam
- 전날 프로토타입 단계의 마지막 마일스톤 워크숍을 열었다.
- 이제 지속형 기능 네트워크로 전환하고, 이 네트워크의 발행 구조에 기반한 ZEC 보상을 도입한다.
- 한 시즌은 약 6주이며 채굴, 스테이킹, Finalizer 수수료로 참여할 수 있다.
- 오래된 타임스탬프의 제네시스 블록 때문에 난이도 조정이 이상하게 동작하는 버그를 만나 네트워크를 리셋한다.
- Sam은 제네시스 타임스탬프가 2016년이라 블록 간격이 매우 벌어지고 난이도가 최저로 유지됐다며, 수정해 새 네트워크를 곧 다시 올린다고 했다.
- 첫 시즌은 25 ZEC를 배정했고 약 한 달 운영한다.
- 시즌 말에 참가자가 뷰잉 키를 내보내면 스캔해 채굴이나 스테이킹 활동으로 번 만큼 지급하는 웹 도구를 만들 예정이다.
- 네트워크 프로토콜을 바꾸지 않는 소프트웨어 업그레이드는 중간에 가능하다.
- 참여는 Signal 채널에서 할 수 있다.
- Daira Emma는 테스트넷 제네시스를 쓸 때는 블록 시간 간격 제한을 끄는 것이 낫다고 했고, Sam은 높이 500,000 미만에서는 합의상 적용되지 않으며 Zebra 마이너에서 처음 몇 블록은 이를 건너뛴다고 답했다.
동적 수수료(Dynamic Fees) 업데이트
Shielded Labs · Jason
- 이번 콜에는 업데이트가 없다.
- Mark가 다음 주 프로젝트 현황과 로드맵, 느슨한 일정을 담은 블로그 글을 낼 예정이며, 2주 뒤 콜에서 자세히 보고한다.
그랜트 논의: Lean 4로 Halo 2 형식 검증 (#244)
Marvenrain, Daira Emma
- Marvenrain은 Nethermind의 Halva 프레임워크를 확장해 Orchard의 다섯 가젯(Sinsemilla, ECC, Merkle path, range lookup 등)을 Lean 4로 모델링하자고 제안했다.
- 정리 증명기로 각 회로의 보안 속성을 증명하는 것이 목표이다.
- 이미 가장 단순한 lookup range check에 대해 soundness와 completeness 정리를 만든 halo2-formal 저장소가 있다.
- 1단계는 나머지 네 가젯에 soundness와 completeness 검증을 확대하는 것이다.
- 2단계는 spend authorization과, Trail of Bits가 다른 시스템에서 발견한 Frozen Heart 취약점과 관련된 Fiat-Shamir soundness 같은 고급 속성이다.
- 필요한 정보는 공개 자료(Halo 2 북, Orchard 북, 코드, Halva)에 있어 타인의 시간 부담은 적다.
- 작업은 공개 저장소에서 모든 커밋을 공개하고 MIT/Apache 이중 라이선스로 하며, 취약점이 나오면 정한 절차로 비공개 제보한다.
- Daira Emma는 프로젝트에 매우 열정적이며 Sapling 분석 때 후속 기회를 놓쳤던 경험을 반복하지 않겠다고 했다.
- 사전 페어링과 조언을 제안했고, 증명과 명세 작성 모두에 AI를 활용하되 공개 작업으로 리뷰를 받으라고 권했다.
- Alex는 이 그랜트가 아직 승인도 거절도 되지 않은 공개 상태이며 지지나 질문은 포럼이나 GitHub에 남기라고 안내했다.
한국어 요약은 원문을 바탕으로 정리한 것으로, 정확한 내용은 원문을 확인하세요.