-
Notifications
You must be signed in to change notification settings - Fork 99
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Add CODEOWNERS entries for new
zk/and mainnet-ops pathscomponent:ciCI/CD, release automation, tooling infraCI/CD, release automation, tooling infradifficulty:easySmall/safe changeSmall/safe changenext-waveScoped for the next contributor waveScoped for the next contributor wavepriority:p2Medium priorityMedium prioritytype:featureNew user-facing or platform capabilityNew user-facing or platform capabilityStatus: Open.Add
area: zkandmainnetlabels to the repo label taxonomycomponent:docsdocs/specs/architecturedocs/specs/architecturedifficulty:easySmall/safe changeSmall/safe changenext-waveScoped for the next contributor waveScoped for the next contributor wavepriority:p1High priorityHigh priorityStellar WaveIssues in the Stellar wave programIssues in the Stellar wave programtype:docsDocumentation updatesDocumentation updatesStatus: Open.Extend Kani harness to model finite-field arithmetic constraints for ZK verifiers
component:contractscontracts/* examples and test targetscontracts/* examples and test targetsdifficulty:expertRequires deep domain expertiseRequires deep domain expertisenext-waveScoped for the next contributor waveScoped for the next contributor wavepriority:p1High priorityHigh priorityStellar WaveIssues in the Stellar wave programIssues in the Stellar wave programtype:testTest coverage, fuzzing, benchmarks, QA gatesTest coverage, fuzzing, benchmarks, QA gateszkZero-knowledge proof feature workZero-knowledge proof feature workStatus: Open.Z010: Detect missing access control on verifying-key rotation/upgrade
component:coretooling/sanctifier-core (analysis engine)tooling/sanctifier-core (analysis engine)difficulty:mediumModerate changeModerate changenext-waveScoped for the next contributor waveScoped for the next contributor wavepriority:p0Must do now (blocks CI/release/production)Must do now (blocks CI/release/production)Stellar WaveIssues in the Stellar wave programIssues in the Stellar wave programtype:featureNew user-facing or platform capabilityNew user-facing or platform capabilityzkZero-knowledge proof feature workZero-knowledge proof feature workStatus: Open.ADR: define new "Z-series" finding-code namespace and severity taxonomy for ZK rules
component:coretooling/sanctifier-core (analysis engine)tooling/sanctifier-core (analysis engine)difficulty:mediumModerate changeModerate changenext-waveScoped for the next contributor waveScoped for the next contributor wavepriority:p1High priorityHigh priorityStellar WaveIssues in the Stellar wave programIssues in the Stellar wave programtype:researchInvestigation, spike, or ADR-driven design workInvestigation, spike, or ADR-driven design workzkZero-knowledge proof feature workZero-knowledge proof feature workStatus: Open.ADR: choose ZK toolchain integration path (circom+snarkjs / arkworks / halo2 / noir)
component:contractscontracts/* examples and test targetscontracts/* examples and test targetsdifficulty:hardComplex / multi-part changeComplex / multi-part changenext-waveScoped for the next contributor waveScoped for the next contributor wavepriority:p0Must do now (blocks CI/release/production)Must do now (blocks CI/release/production)Stellar WaveIssues in the Stellar wave programIssues in the Stellar wave programtype:researchInvestigation, spike, or ADR-driven design workInvestigation, spike, or ADR-driven design workzkZero-knowledge proof feature workZero-knowledge proof feature workStatus: Open.Add a pre-mainnet "cold checklist" GitHub Action that blocks release tag push until all gate issues close
component:actionaction.yml GitHub Action integrationaction.yml GitHub Action integrationdifficulty:mediumModerate changeModerate changemainnetTouches mainnet launch readiness workTouches mainnet launch readiness worknext-waveScoped for the next contributor waveScoped for the next contributor wavepriority:p1High priorityHigh priorityStellar WaveIssues in the Stellar wave programIssues in the Stellar wave programtype:ciCI/CD workflows, tooling, reliability fixesCI/CD workflows, tooling, reliability fixesStatus: Open.Verify CLI exit codes and error taxonomy are stable/documented for CI consumers before freeze
component:clitooling/sanctifier-cli (CLI)tooling/sanctifier-cli (CLI)difficulty:easySmall/safe changeSmall/safe changemainnetTouches mainnet launch readiness workTouches mainnet launch readiness worknext-waveScoped for the next contributor waveScoped for the next contributor wavepriority:p2Medium priorityMedium priorityStellar WaveIssues in the Stellar wave programIssues in the Stellar wave programtype:docsDocumentation updatesDocumentation updatesStatus: Open.Add CI budget gate on WASM bundle size before mainnet release
component:wasmtooling/sanctifier-wasm (WASM package)tooling/sanctifier-wasm (WASM package)difficulty:easySmall/safe changeSmall/safe changemainnetTouches mainnet launch readiness workTouches mainnet launch readiness worknext-waveScoped for the next contributor waveScoped for the next contributor wavepriority:p3Low priority / nice-to-haveLow priority / nice-to-havetype:perfPerformance / efficiency improvementsPerformance / efficiency improvementsStatus: Open.Add a persistent "Mainnet/Testnet" environment indicator across CLI, dashboard, reports
component:frontendfrontend web dashboardfrontend web dashboarddifficulty:easySmall/safe changeSmall/safe changemainnetTouches mainnet launch readiness workTouches mainnet launch readiness worknext-waveScoped for the next contributor waveScoped for the next contributor wavepriority:p2Medium priorityMedium priorityStellar WaveIssues in the Stellar wave programIssues in the Stellar wave programtype:featureNew user-facing or platform capabilityNew user-facing or platform capabilityStatus: Open.Write mainnet migration guide for existing testnet users
component:docsdocs/specs/architecturedocs/specs/architecturedifficulty:mediumModerate changeModerate changemainnetTouches mainnet launch readiness workTouches mainnet launch readiness worknext-waveScoped for the next contributor waveScoped for the next contributor wavepriority:p1High priorityHigh priorityStellar WaveIssues in the Stellar wave programIssues in the Stellar wave programtype:docsDocumentation updatesDocumentation updatesStatus: Open.Publish launch-announcement checklist (blog, socials, Stellar community)
component:docsdocs/specs/architecturedocs/specs/architecturedifficulty:easySmall/safe changeSmall/safe changemainnetTouches mainnet launch readiness workTouches mainnet launch readiness worknext-waveScoped for the next contributor waveScoped for the next contributor wavepriority:p3Low priority / nice-to-haveLow priority / nice-to-haveStellar WaveIssues in the Stellar wave programIssues in the Stellar wave programtype:docsDocumentation updatesDocumentation updatesStatus: Open.