Bitcoin Development: Second test network for #SimplicityLanguage on Elements launched

Email: https://lists.ozlabs.org/pipermail/simplicity/2023/000036.html

Github link: https://github.com/BlockstreamResearch/simplicity/wiki/Test-Network

Github repo: https://github.com/BlockstreamResearch/simplicity/

Paper that originally introduced Simplicity: https://arxiv.org/abs/1711.03028

BPASE 2018 presentation: https://www.youtube.com/watch?v=VOeUq3oR2fk

BPASE 2018 presentation slides: https://cyber.stanford.edu/sites/g/files/sbiybj9936/f/slides-bpase-2018.pdf

Scale by the Bay 2018 presentation https://www.youtube.com/watch?v=M4XnDrRIKx8 that illustrates formal verification of Simplicity in Agda with slides https://lists.ozlabs.org/pipermail/simplicity/2018/000011.html

"Simplicity is a blockchain programming language that is so simple, it fits on a t-shirt."

-- Dr. Russel O'Connor, Infrastructure Tech Developer nostr:npub1jg552aulj07skd6e7y2hu0vl5g8nl5jvfw8jhn6jpjk0vjd0waksvl6n8n