Re: [bitcoin-dev] Designing Bitcoin Smart Contracts with Sapio (available on Mainnet today)

Hi ZmnSCPxj, Funny you mention BlueSpec -- I actually took 6.175[1] in my undergraduate studies with Arvind, BlueSpec's creator, and have often cited it as an inspiration for Sapio given that the target of program compilation is essentially a transaction circuit and I have a decent amount of exper

Re: [bitcoin-dev] Designing Bitcoin Smart Contracts with Sapio (available on Mainnet today)

Good morning Jeremy, et al., > Bitcoin Developers, > > I'm very excited to introduce Sapio[0] formally to you all. This seems quite interesting to me as well! I broadly agree with the rant on monetary units. In C-Lightning we always (except for some legacy fields that will eventually be remove

[bitcoin-dev] Designing Bitcoin Smart Contracts with Sapio (available on Mainnet today)

Bitcoin Developers, I'm very excited to introduce Sapio[0] formally to you all. Sapio empowers Bitcoin Developers to craft smart contracts in an intuitive, safe, and composable way. Sapio challenges the notion that you can't make complex smart contracts for B