 |
June 07, 2026, 05:43:45 PM |
|
Before anything else:
I thank everyone who will read regardless of whether they are interested or not and whether they give their opinion or not. I am looking for critical feedback, ideas, and people interested in discussing the open questions in this project. If you want to collaborate or simply exchange technical opinions, that is equally welcome.
I have been working on a post-quantum payment system built on Bitcoin. This is not a whitepaper, there is a working proof of concept with real testnet transactions and a full architectural document.
I apologize in advance for not sharing the direct link, but to avoid breaking forum rules, I will post and/or edit this topic when I have more activity on the forum. Even if I haven't found anything related, I prefer to proceed with caution and the utmost respect.
What it is
A verifiable custodial off-chain ledger using BTC as the settlement layer. Daily payments happen inside the ledger. The system uses ML-DSA-44 (FIPS 204) signatures and CTIDH post-quantum key exchange between devices. The state root is anchored on Bitcoin via OP_RETURN at end of day.
The trust model: custodial but mathematically verifiable. Anyone can verify the system operated correctly. No one can see who paid what to whom.
Bridge layer
The bridge is based on BitVM2 with several design proposals aimed at ensuring verifiable and correct behavior on both sides (operators, challenger and users) and to ensure that the cost of the instance to pegout through the bridge is a reduced problem and allows everyone to be able to exit safely:
(i) Unified pseudonymous identity commitment system for all participants (operators, challengers, users) anchored on Bitcoin via OP_RETURN
(ii) Asymmetric punishment by role: progressive collateral escalation for challengers based on lost challenges, immediate total slashing for operators
(iii) Permissionless setup with objective on-chain admission requirements
(iv) Batch peg-out with atomic distribution: aggregates small user balances into transactions matching the instance amount, with a fourth legitimate challenge case added to standard BitVM2: Claim with incorrect amounts or missing users compared to the registered batch mapping
What is verifiable on-chain right now
Two transactions on Bitcoin testnet:
Settlement: 60ead78ae2f22530b0d5e50329117eb9ba124d409ef4956e6ed2113ad4f4f35a
OP_RETURN commitment: 9402ec872febb13ddc67a00f5b058483ae9e8636063403b3535292c8dfa8f73f
What is missing
(i)Real ZK proofs (LaBRADOR/Brakedown): designed in the document, not yet in code
(ii)Full SMT implementation
(iii)BitVM2 bridge integration
(iv)Core slashing mechanism: declared as a priority open question
Links (you have to copy and paste)
(i) : github.com/Morpheus030/post-quantum-state-channel (here you will find the PDF document and the code)
(ii): state-channel-pq.onrender.com (DEMO,It may take a couple of seconds to open. The funds are sufficient for a few transactions; I didn't request additional testnet funds to avoid holding more than necessary in the wallet.)
|
