Issues

• Build integration test suite for proof system interop

  wienerlabs/mosaic#94 · Filter by author kh0ra opened on Jul 9, 2026

• Document mainnet upgrade + rollback procedures

  wienerlabs/mosaic#93 · Filter by author kh0ra opened on Jul 9, 2026

• Coordinated disclosure protocol with Solana Foundation security team

  area: documentationarea: securityphase: 4-auditpriority: P2-mediumtype: docs
  wienerlabs/mosaic#87 · Filter by author kh0ra opened on Jun 6, 2026
  1

• Multi-sig upgrade authority policy for mainnet PROGRAM_ID

  area: securityphase: 4-auditpriority: P1-highstatus: needs-design
  wienerlabs/mosaic#86 · Filter by author kh0ra opened on Jun 6, 2026

• Devnet soak: observability stack (Grafana / Datadog)

  area: ci-cdarea: testingphase: 4-auditpriority: P2-mediumstatus: needs-design
  wienerlabs/mosaic#85 · Filter by author kh0ra opened on Jun 6, 2026
  1

• bpf-bench: integrate VerifyCompressedProof CU measurements (s116 follow-up)

  area: performancearea: testingcrate: mosaic-benchpriority: P2-mediumtype: test
  wienerlabs/mosaic#84 · Filter by author kh0ra opened on Jun 6, 2026
  2

• ROADMAP.md: separate public roadmap from CHANGELOG

  area: documentationpriority: P2-mediumtype: docs
  wienerlabs/mosaic#83 · Filter by author kh0ra opened on Jun 6, 2026

• Reference dapp: end-to-end ZK app using Mosaic on Solana

  area: developer-uxarea: documentationpriority: P2-mediumtype: docs
  wienerlabs/mosaic#82 · Filter by author kh0ra opened on Jun 6, 2026

• Tokenomics: post-mainnet token launch design (decision needed)

  discussionpriority: P2-mediumstatus: needs-design
  wienerlabs/mosaic#81 · Filter by author kh0ra opened on Jun 6, 2026

• Bug bounty: Immunefi or Cantina program post-audit

  area: securityphase: 4-auditpriority: P1-hightype: chore
  wienerlabs/mosaic#79 · Filter by author kh0ra opened on Jun 6, 2026
  1

• Risc0Stark (0x06): implement dispatch arm (currently UnimplementedProofSystem)

  area: cryptographycrate: mosaic-programphase: 3-stark-foldingpriority: P2-mediumtype: feat
  wienerlabs/mosaic#78 · Filter by author kh0ra opened on Jun 6, 2026

• HyperPlonk: Zeromorph partial reduction (canonical layout breaking change)

  area: cryptographybreaking-changephase: 3-stark-foldingpriority: P2-mediumtype: feat
  wienerlabs/mosaic#77 · Filter by author kh0ra opened on Jun 6, 2026

• FRI-STARK: Plonky3 reference fixture + chunked execution (T-12 mitigation)

  area: cryptographycrate: mosaic-chunkedphase: 3-stark-foldingpriority: P1-hightype: feat
  wienerlabs/mosaic#76 · Filter by author kh0ra opened on Jun 6, 2026
  3

• Nova: complete Spartan-wrapped multi-opening

  area: cryptographyphase: 3-stark-foldingpriority: P1-hightype: feat
  wienerlabs/mosaic#75 · Filter by author kh0ra opened on Jun 6, 2026

• Halo2: complete two-point batched opening (close scaffold gap)

  area: cryptographycrate: mosaic-halo2phase: 2-plonk-halo2priority: P1-hightype: feat
  wienerlabs/mosaic#74 · Filter by author kh0ra opened on Jun 6, 2026

• HyperPlonk: integrate Espresso reference fixture (close scaffold gap)

  area: cryptographyphase: 3-stark-foldingpriority: P1-hightype: feat
  wienerlabs/mosaic#73 · Filter by author kh0ra opened on Jun 6, 2026

• Audit: re-engage Halborn — waiting on v1 completion

  phase: 4-auditpriority: P1-high
  wienerlabs/mosaic#72 · Filter by author kh0ra opened on Jun 6, 2026

• Audit: commission IronNode for v1.0.0 audit engagement

  phase: 4-auditpriority: P1-high
  wienerlabs/mosaic#71 · Filter by author kh0ra opened on Jun 6, 2026

• Testnet: cross-validator determinism cross-check (T-5 mitigation)

  area: securityarea: testingcrate: mosaic-programphase: 4-auditpriority: P1-high
  wienerlabs/mosaic#70 · Filter by author kh0ra opened on Jun 6, 2026
  2

• Mainnet: PROGRAM_ID generation + reproducible deployment script

  crate: mosaic-programphase: 4-auditpriority: P1-hightype: chore
  wienerlabs/mosaic#68 · Filter by author kh0ra opened on May 23, 2026
  1

• Devnet: deploy mosaic_program.so + 24 h soak harness

  area: testingcrate: mosaic-programphase: 4-auditpriority: P1-hightype: test
  wienerlabs/mosaic#67 · Filter by author kh0ra opened on May 23, 2026
  2

• [epic] Mainnet readiness — v1.0.0 deployment ladder

  epicphase: 4-auditpriority: P1-high
  wienerlabs/mosaic#66 · Filter by author kh0ra opened on May 23, 2026

• [mosaic-halo2] Phase-3 Halo2-KZG verifier body

  area: cryptographycrate: mosaic-halo2phase: 3-stark-foldingpriority: P1-highstatus: needs-designtype: feat
  wienerlabs/mosaic#64 · Filter by author kh0ra opened on Apr 20, 2026

• Pre-audit outreach: contact Zellic / Veridise / OtterSec for slot reservation

  area: securityphase: 1-bootstrappriority: P1-highstatus: readytype: chore
  wienerlabs/mosaic#61 · Filter by author kh0ra opened on Apr 19, 2026
  1

• Convert forbid(unsafe_code) → deny + add unsafe-arena feature for real bump allocator

  area: performancearea: securitybreaking-changecrate: mosaic-corepriority: P2-mediumstatus: needs-designtype: perftype: refactor
  wienerlabs/mosaic#58 · Filter by author kh0ra opened on Apr 19, 2026