-
Notifications
You must be signed in to change notification settings - Fork 84
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
[High] Enforce per-entrypoint resource ceilings as unit tests for every contract
high (200 pts)Drips Wave complexity: high, 200 pointsDrips Wave complexity: high, 200 pointssecuritySecurity hardening or audit findingSecurity hardening or audit findingStellar WaveIssues in the Stellar wave programIssues in the Stellar wave programStatus: Open.#423 In stellar-vortex-protocol/vortex-contracts;[High] Add versioned event envelopes across all contracts, with a completeness test
high (200 pts)Drips Wave complexity: high, 200 pointsDrips Wave complexity: high, 200 pointssecuritySecurity hardening or audit findingSecurity hardening or audit findingStellar WaveIssues in the Stellar wave programIssues in the Stellar wave programStatus: Open.#422 In stellar-vortex-protocol/vortex-contracts;[High] Define and enforce fail-open vs fail-closed policy for every cross-contract dependency
high (200 pts)Drips Wave complexity: high, 200 pointsDrips Wave complexity: high, 200 pointssecuritySecurity hardening or audit findingSecurity hardening or audit findingStellar WaveIssues in the Stellar wave programIssues in the Stellar wave programStatus: Open.#421 In stellar-vortex-protocol/vortex-contracts;[High] Analyze ledger close-time skew and add safety margins at time boundaries
high (200 pts)Drips Wave complexity: high, 200 pointsDrips Wave complexity: high, 200 pointssecuritySecurity hardening or audit findingSecurity hardening or audit findingStellar WaveIssues in the Stellar wave programIssues in the Stellar wave programStatus: Open.#420 In stellar-vortex-protocol/vortex-contracts;[High] Build an adversarial-solver economic simulation test suite
high (200 pts)Drips Wave complexity: high, 200 pointsDrips Wave complexity: high, 200 pointssecuritySecurity hardening or audit findingSecurity hardening or audit findingStellar WaveIssues in the Stellar wave programIssues in the Stellar wave programStatus: Open.#419 In stellar-vortex-protocol/vortex-contracts;[High] Test lifecycle correctness when persistent entries are archived and restored mid-flight
high (200 pts)Drips Wave complexity: high, 200 pointsDrips Wave complexity: high, 200 pointssecuritySecurity hardening or audit findingSecurity hardening or audit findingStellar WaveIssues in the Stellar wave programIssues in the Stellar wave programStatus: Open.#418 In stellar-vortex-protocol/vortex-contracts;[High] Raise mutation-test scores for
solver_registry,proof_registry, andreputation_badgehigh (200 pts)Drips Wave complexity: high, 200 pointsDrips Wave complexity: high, 200 pointssecuritySecurity hardening or audit findingSecurity hardening or audit findingStellar WaveIssues in the Stellar wave programIssues in the Stellar wave programStatus: Open.#417 In stellar-vortex-protocol/vortex-contracts;[High] Build a cross-contract integration test crate over the real wasm artifacts
high (200 pts)Drips Wave complexity: high, 200 pointsDrips Wave complexity: high, 200 pointssecuritySecurity hardening or audit findingSecurity hardening or audit findingStellar WaveIssues in the Stellar wave programIssues in the Stellar wave programStatus: Open.#416 In stellar-vortex-protocol/vortex-contracts;[High] Prove the pure arithmetic and parsing helpers with Kani
high (200 pts)Drips Wave complexity: high, 200 pointsDrips Wave complexity: high, 200 pointssecuritySecurity hardening or audit findingSecurity hardening or audit findingStellar WaveIssues in the Stellar wave programIssues in the Stellar wave programStatus: Open.#415 In stellar-vortex-protocol/vortex-contracts;[High] Write a formal Quint (or TLA+) specification of the intent state machine and check conformance
high (200 pts)Drips Wave complexity: high, 200 pointsDrips Wave complexity: high, 200 pointssecuritySecurity hardening or audit findingSecurity hardening or audit findingStellar WaveIssues in the Stellar wave programIssues in the Stellar wave programStatus: Open.#414 In stellar-vortex-protocol/vortex-contracts;[High] Build a stateful model-based fuzzing harness over all settlement entrypoints
high (200 pts)Drips Wave complexity: high, 200 pointsDrips Wave complexity: high, 200 pointssecuritySecurity hardening or audit findingSecurity hardening or audit findingStellar WaveIssues in the Stellar wave programIssues in the Stellar wave programStatus: Open.#413 In stellar-vortex-protocol/vortex-contracts;[High] Restrict
rescue_tokenswith a timelock and a complete protected-balance modelhigh (200 pts)Drips Wave complexity: high, 200 pointsDrips Wave complexity: high, 200 pointssecuritySecurity hardening or audit findingSecurity hardening or audit findingStellar WaveIssues in the Stellar wave programIssues in the Stellar wave programStatus: Open.#412 In stellar-vortex-protocol/vortex-contracts;