Arbiter-xyz/arbiter-contract

Audit fee/slash computation for pre-confirmation information leakage about 2 hours ago

help wanted difficulty: extreme

0

Soroban escrow contract for Arbiter — a pay-per-question human-intelligence oracle on Stellar

Rust

Build real tooling to migrate all Pending questions to a new contract instance about 2 hours ago

help wanted difficulty: extreme

Arbiter-xyz/arbiter-contract

0

Soroban escrow contract for Arbiter — a pay-per-question human-intelligence oracle on Stellar

Rust

Formal economic analysis of slashing-collusion and slash-griefing attacks about 2 hours ago

help wanted difficulty: extreme

Arbiter-xyz/arbiter-contract

0

Soroban escrow contract for Arbiter — a pay-per-question human-intelligence oracle on Stellar

Rust

Prove correct behavior when a Pending question's storage entry archives (TTL expiry) about 2 hours ago

help wanted difficulty: extreme

Arbiter-xyz/arbiter-contract

0

Soroban escrow contract for Arbiter — a pay-per-question human-intelligence oracle on Stellar

Rust

Replace the single-key platform admin with a rotation-resistant scheme about 2 hours ago

help wanted difficulty: extreme

Arbiter-xyz/arbiter-contract

0

Soroban escrow contract for Arbiter — a pay-per-question human-intelligence oracle on Stellar

Rust

Design a safe multi-asset settlement mechanism without a token-substitution trust hole about 2 hours ago

help wanted difficulty: extreme

Arbiter-xyz/arbiter-contract

0

Soroban escrow contract for Arbiter — a pay-per-question human-intelligence oracle on Stellar

Rust

Measure and enforce a safe maximum quorum size against real resource limits about 2 hours ago

help wanted difficulty: extreme

Arbiter-xyz/arbiter-contract

0

Soroban escrow contract for Arbiter — a pay-per-question human-intelligence oracle on Stellar

Rust

Adversarially test resolve()/refund_timeout() for settlement races about 2 hours ago

help wanted difficulty: extreme

Arbiter-xyz/arbiter-contract

0

Soroban escrow contract for Arbiter — a pay-per-question human-intelligence oracle on Stellar

Rust

Design and implement a safe contract upgrade/migration path about 2 hours ago

help wanted difficulty: extreme

Arbiter-xyz/arbiter-contract

0

Soroban escrow contract for Arbiter — a pay-per-question human-intelligence oracle on Stellar

Rust

Prove the escrow fail-closed invariant with property-based fuzzing, not just example tests about 2 hours ago

help wanted difficulty: extreme

Arbiter-xyz/arbiter-contract

0

Soroban escrow contract for Arbiter — a pay-per-question human-intelligence oracle on Stellar

Rust

Open Issues Need Help