Over the past weeks we've been building #Axion, an experiment around using #Bitcoin as a foundation for a more verifiable internet.
https://t.co/MRugRzyVmC
https://t.co/C0LRxM8ggX
Current state:
- Bitcoin-anchored project registry
- Deterministic commitments -> Merkle roots
- Real #Signet anchoring with verifiable txids
- Browser proof verification
- #Live dispute coordinator
- Interactive fraud-proof terminal
- Bisection protocol for fault localization
- BIP340 #Schnorr-signed midpoint commitments
- Real-time SSE event streaming
- Project <-> dispute linkage
Today a project can:
1. Register a commitment
2. Be anchored into a Bitcoin commitment root
3. Expose a proof to any verifier
4. Be challenged through a dispute process
5. Have the disputed transition localized through binary search
6. Reach a slash or no-fraud outcome
https://t.co/on9vcirb9E
https://t.co/h08HKUy9fB
https://t.co/IgLNUGF4fe
The system is no longer a collection of isolated demos.
A registry entry, a #Bitcoin anchor, a proof, and a dispute record are now connected parts of the same workflow.
Still missing:
- Real Bitcoin settlement transactions
- Taproot-enforced bond / defense / slash paths
- Multi-party operators and challengers
- Mainnet-grade security review
- Large-scale project onboarding
Current focus is turning dispute outcomes into actual Bitcoin-enforced settlement.
The goal remains unchanged:
Use Bitcoin as a settlement and verification layer for registries, identities, applications, and future decentralized internet infrastructure.
#Progress is slow, but measurable.
#Code first. Claims later.
#Bitcoin #BitVM #Taproot #Cryptography
Greetings everyone, there's been a major update. The main website and terminal are now linked. Each project, after registration and consolidation, goes through a dispute, which is the implementation of BitVM - a prototype 🤓 all the information is in the post. It would be great if you could run tests and provide feedback. Thank you for your time.👍🏻
Over the past weeks we've been building #Axion, an experiment around using #Bitcoin as a foundation for a more verifiable internet.
https://t.co/MRugRzyVmC
https://t.co/C0LRxM8ggX
Current state:
- Bitcoin-anchored project registry
- Deterministic commitments -> Merkle roots
- Real #Signet anchoring with verifiable txids
- Browser proof verification
- #Live dispute coordinator
- Interactive fraud-proof terminal
- Bisection protocol for fault localization
- BIP340 #Schnorr-signed midpoint commitments
- Real-time SSE event streaming
- Project <-> dispute linkage
Today a project can:
1. Register a commitment
2. Be anchored into a Bitcoin commitment root
3. Expose a proof to any verifier
4. Be challenged through a dispute process
5. Have the disputed transition localized through binary search
6. Reach a slash or no-fraud outcome
https://t.co/on9vcirb9E
https://t.co/h08HKUy9fB
https://t.co/IgLNUGF4fe
The system is no longer a collection of isolated demos.
A registry entry, a #Bitcoin anchor, a proof, and a dispute record are now connected parts of the same workflow.
Still missing:
- Real Bitcoin settlement transactions
- Taproot-enforced bond / defense / slash paths
- Multi-party operators and challengers
- Mainnet-grade security review
- Large-scale project onboarding
Current focus is turning dispute outcomes into actual Bitcoin-enforced settlement.
The goal remains unchanged:
Use Bitcoin as a settlement and verification layer for registries, identities, applications, and future decentralized internet infrastructure.
#Progress is slow, but measurable.
#Code first. Claims later.
#Bitcoin #BitVM #Taproot #Cryptography
Progress.
#Axion now runs a live dispute coordinator on Signet.
Disputes are persisted, replayable, restart-safe, and advance through challenge and bisection rounds automatically.
No fake settlement transactions are displayed. If a Bitcoin transaction does not exist, the interface says so.
https://t.co/JJBHTXYsvn
https://t.co/mRWgfnGTvU
Still to come:
- live event streaming
- registry integration
- Bitcoin settlement transactions
Building the machinery before the marketing.
#Bitcoin #BitVM #Taproot #Cryptography
Progress.
#Axion now runs a live dispute coordinator on Signet.
Disputes are persisted, replayable, restart-safe, and advance through challenge and bisection rounds automatically.
No fake settlement transactions are displayed. If a Bitcoin transaction does not exist, the interface says so.
https://t.co/JJBHTXYsvn
https://t.co/mRWgfnGTvU
Still to come:
- live event streaming
- registry integration
- Bitcoin settlement transactions
Building the machinery before the marketing.
#Bitcoin #BitVM #Taproot #Cryptography
A protocol becomes interesting when removing it is harder than building it.
Projects can now be registered, hashed, batched, anchored, challenged, and inspected through separate protocol layers.
#Axion now operates:
- Bitcoin Anchoring Layer
- Dispute Coordination Layer
- Live Verification Terminal
https://t.co/4ErYVVqQG3
https://t.co/IO7UyCb6rt
Merkle commitments.
OP_RETURN anchors.
Challenge records.
Bisection traces.
Signed claims.
Persistent dispute history.
The architecture is still incomplete.
But for the first time, the system is no longer a demonstration.
It's running.)
#Bitcoin #BitVM #Taproot #Cryptography
One thing I've been working on lately is a live dispute coordinator.
Instead of viewing a completed fraud proof after the fact, the terminal subscribes to protocol events and follows the dispute as it unfolds.
A commitment is published.
A challenger disagrees.
The disputed interval narrows through bisection.
Eventually a single transition remains.
The interesting part is that nothing new is being trusted. The coordinator is only a window into the protocol's state transitions.
Still a lot of work ahead, but it's becoming increasingly satisfying to watch the system operate in real time.
#Bitcoin #Axion #BitVM #Taproot #Cryptography
Two public endpoints are now online.
Protocol:
https://t.co/4ErYVVrovB
Dispute terminal:
https://t.co/IO7UyCbEh1
The protocol commits state to #Bitcoin.
The terminal exposes dispute progression, commitment roots, signed claims, bisection rounds, and settlement state.
The objective is not to remove disagreement.
The objective is to make disagreement verifiable.
#Bitcoin remains the court of final appeal.
#Axion #BitVM #Taproot #Cryptography
Two public endpoints are now online.
Protocol:
https://t.co/4ErYVVrovB
Dispute terminal:
https://t.co/IO7UyCbEh1
The protocol commits state to #Bitcoin.
The terminal exposes dispute progression, commitment roots, signed claims, bisection rounds, and settlement state.
The objective is not to remove disagreement.
The objective is to make disagreement verifiable.
#Bitcoin remains the court of final appeal.
#Axion #BitVM #Taproot #Cryptography
Built a small Bitcoin-native dispute system prototype this week.
An operator commits to a transition root over an execution trace.
A challenger independently recomputes the trace and disputes invalid transitions.
Disagreements are resolved through an interactive bisection protocol:
- midpoint claims are Schnorr-signed (BIP340)
- each round halves the disputed interval
- convergence isolates a single invalid state transition
- settlement resolves through a Taproot script tree on Bitcoin Signet
In the example below:
s₄ was agreed upon
s₅ could not be defended
the slash path won after the defense window expired
Interesting property: the artifacts are deterministic.
The same seed reproduces the same trace, dispute rounds, signatures, and settlement path across machines.
Still many open problems:
• data availability
• independent challengers
• anti-grief economics
• pre-signed connector flows for production lifecycle handling
But the basic dispute machinery appears to work.
https://t.co/MRugRzynx4
#Bitcoin #BitVM #Taproot #Axion
#AXION DISPUTE LAYER — now live end-to-end on Bitcoin Signet.
This week we shipped a working Bitcoin-native fraud dispute lifecycle with:
- deterministic execution traces
- interactive bisection protocol
- BIP340 Schnorr-signed claims
- Taproot dispute contracts
- real Signet anchoring
- live txids + mempool visibility
- reproducible fraud proofs
The system successfully:
→ commits a transition root
→ detects fraudulent state transitions
→ converges to a disputed step via binary search
→ opens a defense window
→ resolves invalid execution with SLASH
Honest execution paths also correctly converge to “nothing to dispute.”
Most importantly: the artifacts are deterministic and independently reproducible across environments.
This is no longer a mockup or slideware.
It’s a live Bitcoin-connected dispute infrastructure prototype.
Next:
- public dispute explorer
- independent challenger processes
- BitVM-style settlement evolution
- data availability research
- multi-party dispute architecture
Bitcoin-native verification infrastructure is coming.
https://t.co/MRugRzyVmC
#Bitcoin #BitVM #Taproot #Cryptography