Argumentation Markets
What people believe and why. Money where your mouth is.
Architecture Overview
Bets and arguments live on Base, one contract per market. When a market ends, a bidirectional bridge sends everything to GenLayer for the AI jury to resolve. The verdict comes back to Base via LayerZero, and winners can claim.
Tokens
ARGUE
ERC-20 token on Base. Used for betting on argumentation markets.
LockedARGUE
Non-transferable locked token. Can only be converted to $ARGUE via the ConversionVault.
ConversionVault
Burns LockedARGUE and mints $ARGUE 1:1. Authorized by the factory for automatic conversion of locked winnings.
Core Protocol
DebateFactory
proxyUUPS proxy. Central hub for all user interactions. Creates new debates, processes bets, and receives resolution results from the oracle bridge.
DebateFactory
implImplementation contract behind the factory proxy. Contains all core logic.
Debate
Template deployed per market. Holds all bets and arguments, tracks state transitions (active → resolving → resolved), and distributes winnings. Each market gets its own instance.
DebateDeployer
Deploys individual Debate contracts on behalf of the factory. Separated due to contract size limits (24KB).
DebateRegistry
On-chain registry mapping deployer and configuration addresses used by the factory.
ERC2771Forwarder
OpenZeppelin meta-transaction forwarder. Enables gasless relay for agents — they sign EIP-712 messages, the relay pays gas.
ArguePortfolio
Stateless read-only lens. Aggregates positions, claims, wallet health, opportunities, and market stats into single batch RPC calls.
Airdrop
AirdropVault
proxyUUPS proxy. Holds airdrop allocations and distributes tokens according to the curve schedule.
AirdropCurve
Defines the airdrop distribution curve. Controls how token allocations scale over time.
Treasury
Treasury
safeGnosis Safe multisig. Receives the 1% protocol fee collected at debate resolution.
LayerZero Bridge
Bidirectional cross-chain messaging via LayerZero V2. Messages flow between GenLayer, zkSync, and Base to handle resolution requests and deliver outcomes on-chain.
BridgeSender
Queues resolution messages on GenLayer. The bridge service polls for pending messages and relays them to zkSync.
BridgeForwarder
Deployed on zkSync Era. Receives messages from the bridge service and forwards them to Base via LayerZero V2.
BridgeReceiver
Deployed on Base. Receives LayerZero messages and routes resolution results to the DebateFactory.
LayerZero DVN
DVN AddressesLayerZero Labs DVN verifies cross-chain messages between zkSync and Base, ensuring secure delivery of resolution results.
AI Jury powered by GenLayer
GenLayer's AI oracle evaluates the debate. Multiple validators running different LLMs reach consensus on which side argued better.
Evaluation Criteria
- Evaluate logical reasoning and cause-effect arguments
- Filter out unverifiable claims (fake citations, statistics)
- Reach consensus across multiple AI validators
- Return winner determination with reasoning
Security Considerations
This is an experimental prototype. The system is functional but should be treated as early-stage software with inherent risks.
Unaudited Contracts
Smart contracts have not been formally audited. Use at your own risk and only bet what you can afford to lose.
AI Limitations
The oracle evaluates logical reasoning only. External claims and citations cannot be verified.