# Andrew Poelstra

Source URL: https://blog.blockstream.com/author/andrew-poelstra
Author: Andrew Poelstra

---

## Posts

- [Formal Verification of the Safegcd Implementation](https://blog.blockstream.com/formal-verification-of-the-safegcd-implementation) — Dec 12, 2024
- [ColliderScript: Covenant Functionality Without a Soft Fork](https://blog.blockstream.com/colliderscript-covenant-functionality-without-a-soft-fork) — Dec 11, 2024
- [Script State From Lamport Signatures](https://blog.blockstream.com/script-state-from-lamport-signatures) — Jul 3, 2024
- [Codex32: A Shamir Secret Sharing Scheme](https://blog.blockstream.com/codex32-a-shamir-secret-sharing-scheme) — Sep 7, 2023
- [Simplicity: Sharing of Witness and Disconnect](https://blog.blockstream.com/simplicity-sharing-of-witness-and-disconnect) — Aug 11, 2023
- [Simplicity: Holes and Side Effects](https://blog.blockstream.com/simplicity-holes-and-side-effects) — Jun 27, 2023
- [Tapscript: New Opcodes, Reduced Limits and Covenants](https://blog.blockstream.com/tapscript-new-opcodes-reduced-limits-and-covenants) — Sep 7, 2022
- [PSET: Constructing Confidential Transactions](https://blog.blockstream.com/pset-constructing-confidential-transactions) — Dec 2, 2021
- [Response to AJ Towns’ Blog Post about Liquid Consensus Changes](https://blog.blockstream.com/response-to-aj-towns-blog-post-about-liquid-consensus-changes) — Oct 28, 2021
- [CAT and Schnorr Tricks II](https://blog.blockstream.com/cat-and-schnorr-tricks-ii) — Feb 16, 2021
- [A Formal Proof of safegcd Bounds](https://blog.blockstream.com/a-formal-proof-of-safegcd-bounds) — Feb 12, 2021
- [Anti-Exfil: Stopping Key Exfiltration](https://blog.blockstream.com/anti-exfil-stopping-key-exfiltration) — Feb 9, 2021
- [CAT and Schnorr Tricks I](https://blog.blockstream.com/cat-and-schnorr-tricks-i) — Jan 30, 2021
- [Simplicity: Jets Release](https://blog.blockstream.com/simplicity-jets-release) — Apr 4, 2020
- [MuSig: A New Multisignature Standard](https://blog.blockstream.com/en-musig-a-new-multisignature-standard) — Feb 18, 2019
- [Simplicity: High-Assurance Smart Contracting](https://blog.blockstream.com/en-simplicity-github) — Nov 28, 2018
- [Bulletproofs: Faster Rangeproofs and Much More](https://blog.blockstream.com/en-bulletproofs-faster-rangeproofs-and-much-more) — Feb 21, 2018
- [Blockstream Releases Confidential Assets](https://blog.blockstream.com/en-blockstream-releases-elements-confidential-assets) — Apr 3, 2017