AVOW Protocol — Proven Consent, Unsubscribe, and Rate Limits

The Problem

📧 Email Spam

Unsubscribe links often don't work. No proof consent was given.

$200M+ market

🤖 Social Media Bots

Fake profiles, astroturfing, election interference. Current solutions don't scale.

$1.2B+ market

💸 Platform Costs

Companies spend $100M+/year fighting spam and bots. Still losing.

Bots remain a persistent problem

The AVOW Solution

Use dependent types (Idris2) to make message properties verifiable at compile-time.

✓

Proven Consent

Cryptographically provable consent chains. Can't fake timestamps or skip verification.

proof : confirmation > initial_request

✓

Working Unsubscribe

Unsubscribe links validated before sending to avoid broken links.

proof : response.code = OK ∧ response.time < 200ms

✓

Rate Limiting

Protocol-level rate limits based on account age. Cannot be bypassed.

proof : messages_today < daily_limit

How It Works

❌ Without Dependent Types

struct UnsubscribeLink {
    url: String,
    tested: bool,  // Can lie
}

No guarantees. Developers can lie about testing.

✅ With AVOW (Idris2)

record UnsubscribeLink where
    url : URL
    tested_at : Timestamp
    response : HTTPResponse
    {auto proof : response.code = OK}
    {auto proof : response.time < 200ms}

Designed to be verifiable. The protocol aims to reject invalid links before send.

Try It Now

🔬 Live Verification Demo

Test AVOW verification right in your browser (build-time proofs + demo rules):

Test Unsubscribe Link

Test Consent Chain

Verify that confirmation happened AFTER initial request (time-ordering proof)

👆 Click a button above to see verification in action

Note: URL checks use build-time proofs from proven. Consent checks are demo rules.

📱 Telegram Bot Demo

See AVOW in action with our live Telegram bot:

Open Telegram and search for @avow_demo_bot
Send /start to subscribe
See consent flow steps in action
Send /verify to see full verification
Send /unsubscribe to test the demo flow

Open @avow_demo_bot →

Use Cases

Email Marketing

Design for compliance with CAN-SPAM, GDPR. Verified unsubscribe links.

Dating Apps

Reduce fake profiles with verified identity chains.

Social Media

Combat astroturfing and election interference with verified accounts.

Business Messaging

RCS, SMS marketing with verifiable compliance.