Blockstream ResearchFormal Verification of the Safegcd ImplementationRussell O'Connor, Andrew PoelstraDec 12, 2024
Blockstream ResearchColliderScript: Covenant Functionality Without a Soft ForkAndrew PoelstraDec 11, 2024
Blockstream Research // Simplicity LanguageSimplicity: Sharing of Witness and DisconnectAndrew PoelstraAug 11, 2023
Blockstream Research // Simplicity LanguageSimplicity: Holes and Side EffectsAndrew PoelstraJun 27, 2023
Liquid Network // Blockstream ResearchTapscript: New Opcodes, Reduced Limits and CovenantsAndrew PoelstraSep 7, 2022
Liquid NetworkResponse to AJ Towns’ Blog Post about Liquid Consensus ChangesAndrew PoelstraOct 28, 2021
Blockstream ResearchFormal Verification of the Safegcd ImplementationRussell O'Connor, Andrew PoelstraDec 12, 2024
Blockstream ResearchColliderScript: Covenant Functionality Without a Soft ForkAndrew PoelstraDec 11, 2024
Blockstream Research // Simplicity LanguageSimplicity: Sharing of Witness and DisconnectAndrew PoelstraAug 11, 2023
Blockstream Research // Simplicity LanguageSimplicity: Holes and Side EffectsAndrew PoelstraJun 27, 2023
Liquid Network // Blockstream ResearchTapscript: New Opcodes, Reduced Limits and CovenantsAndrew PoelstraSep 7, 2022
Liquid NetworkResponse to AJ Towns’ Blog Post about Liquid Consensus ChangesAndrew PoelstraOct 28, 2021