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