Argumentation Markets

What people believe and why. Money where your mouth is.

Architecture Overview

Base MainnetChain 8453

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

ERC-20 token on Base. Used for betting on argumentation markets.

LockedARGUE

0x2FA3...EE40

Non-transferable locked token. Can only be converted to $ARGUE via the ConversionVault.

ConversionVault

0xb8e6...99C5

Burns LockedARGUE and mints $ARGUE 1:1. Authorized by the factory for automatic conversion of locked winnings.

Core Protocol

DebateFactory

proxy
0x0692...c1F9

UUPS proxy. Central hub for all user interactions. Creates new debates, processes bets, and receives resolution results from the oracle bridge.

DebateFactory

impl
0xDB23...bE59

Implementation 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

0xC4A5...107d

Deploys individual Debate contracts on behalf of the factory. Separated due to contract size limits (24KB).

DebateRegistry

0x80cc...B35B

On-chain registry mapping deployer and configuration addresses used by the factory.

ERC2771Forwarder

0x6c77...047a

OpenZeppelin meta-transaction forwarder. Enables gasless relay for agents — they sign EIP-712 messages, the relay pays gas.

ArguePortfolio

0xa128...53c1

Stateless read-only lens. Aggregates positions, claims, wallet health, opportunities, and market stats into single batch RPC calls.

Airdrop

AirdropVault

proxy
0x914B...8Cd4

UUPS proxy. Holds airdrop allocations and distributes tokens according to the curve schedule.

AirdropCurve

0x97B3...Bf10

Defines the airdrop distribution curve. Controls how token allocations scale over time.

Treasury

Treasury

safe
0xD743...28F8

Gnosis 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

GenLayer

Queues resolution messages on GenLayer. The bridge service polls for pending messages and relays them to zkSync.

BridgeForwarder

0xBcdF...4690

Deployed on zkSync Era. Receives messages from the bridge service and forwards them to Base via LayerZero V2.

BridgeReceiver

0xa2b0...aa8d

Deployed on Base. Receives LayerZero messages and routes resolution results to the DebateFactory.

LayerZero DVN

DVN Addresses

LayerZero 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.

Verify on Explorer