|
Bithoven: A Formally Verified, Imperative Smart Contract Language for Bitcoin
|
|
4
|
103
|
January 9, 2026
|
|
OP_CC: A simple introspection opcode to enable cheaper consolidations
|
|
13
|
205
|
January 5, 2026
|
|
Gossip Observer: New project to monitor the Lightning P2P network
|
|
19
|
574
|
December 18, 2025
|
|
Confidential Script: Emulate soft forks using stateless TEEs
|
|
5
|
467
|
August 30, 2025
|
|
RGB yellow paper: the formal specification of Bitcoin & Lightning smart contracts
|
|
0
|
234
|
July 31, 2025
|
|
Perpetually KYC'd Coins Using Evil Covenants
|
|
18
|
2235
|
May 30, 2025
|
|
Graftleaf: Program Composition and Generic Delegation
|
|
0
|
79
|
May 6, 2025
|
|
The path to general computation on Bitcoin (with OP_CAT)
|
|
7
|
633
|
April 29, 2025
|
|
Post-Signature Cross-Input Scripting Using the Taproot Annex
|
|
2
|
293
|
April 3, 2025
|
|
Question about OP_CTV and Non-Recursive Covenants
|
|
10
|
241
|
March 18, 2025
|
|
Research Paper on B.R.A.I.N.: Bitcoin Recursive Autonomous Intelligence Network
|
|
0
|
292
|
March 7, 2025
|
|
ZK-gossip for lightning channel announcements
|
|
29
|
988
|
February 25, 2025
|
|
Unspendable keys in descriptors
|
|
29
|
2794
|
January 17, 2025
|
|
Bitcoin OP_CAT Use Cases Series #4: Recursive Covenants
|
|
0
|
624
|
July 5, 2024
|
|
Tr(): rawnode() and rawleaf() support
|
|
8
|
832
|
June 7, 2024
|
|
Anonymous usage tokens from curve trees or autct
|
|
10
|
2369
|
May 30, 2024
|
|
Revisiting BIP21
|
|
19
|
1965
|
May 9, 2024
|
|
Leaf Version as Flags
|
|
4
|
677
|
April 15, 2024
|
|
Constellation - a high performance Lightning-based L3. Feedback wanted
|
|
1
|
1023
|
April 11, 2024
|
|
State minimization in MuSig2 signing sessions
|
|
9
|
1329
|
March 7, 2024
|
|
Malleability issues when creating shared transactions with segwit v0
|
|
1
|
894
|
February 13, 2024
|
|
Untraceable Taprootized Atomic Swaps
|
|
2
|
841
|
January 27, 2024
|
|
Is static Musig2 key with a variable tweak safe?
|
|
4
|
627
|
November 23, 2023
|