This is a huge piece of work, and also the start of another chunk. Great work by @Arvolear and his team.
Please have a read of the spec and give feedback.
Have been working on this mega spec for the last couple of weeks. Finally ready to share. A decentralized price oracle running on Liquid, powered by Simplicity. Hope this sees prod one day.
This may be controversial and not privacy-preserving in the best way, but I still want to share this idea.
A multisig protocol where it is just you, the front end, and the chain. No downtime. No other off-chain medium or service. Where Simplicity enables custom policy enforcement rules and multisig spending conditions.
This is a very early experiment to showcase what can be developed with Simplicity. Thus, the paper is not affiliated with Blockstream.
Announcing the first-ever Simplicity CTF challenge!
I've locked 0.01 LBTC in a contract. Your task is to find how to unlock it and claim the reward!
I've also sent this challenge to our internal Blockstream chat.
Here is the description. Good luck!
https://t.co/EPce3JyrIO
We've just released SimplicityHL v0.6.0. Introducing imports, modules, dependencies, and source code flattening. Also, custom jet environments can now be implemented as dynamic libs and plugged into the compiler. Check out the full release!
https://t.co/8aexy9DCxM
Simplicity is expanding what's possible to build on Bitcoin layer-2.
Offering formally verified smart contracts and live on @Liquid_BTC, Simplicity is already powering a growing ecosystem of applications.
This May, join developers at the forefront of Bitcoin innovation in Europe.
What if building Simplicity contracts didn't require managing the entire toolchain yourself?
@Arvolear at @blksresearch built Simplex - a Rust development framework with CLI tooling, SDK utilities, and local regtest integration for building high-assurance smart contracts.
Artem will demo how it works at Simplicity Office Hours next Tuesday.
@LHodlemort look i understand you’re not familiar with the problem domain of turing incomplete predicate-based language systems for cryptographic applications but you’re in luck! Russell O’Connor spent a decade working on the problem and it’s live on Liquid right now
Building a development framework for the chain no one uses. Sounds absurd, but no tooling = no devs. No devs = no dapps. No dapps = no users. You have to fucking start somewhere. I call it Simplex, by the way.
Tune into Simplicity Office Hours 🔧
Ask questions, share ideas, and learn how high-assurance smart contracts on Bitcoin work.
Every Tuesday, 8am PST.
https://t.co/BpFstkExZD
Day 1 of the @Liquid_BTC bootcamp by @Blockstream — co-hosted by us as part of @satsconf_’s São Paulo Bitcoin Week — is done!
Day 2 just kicked off — 70 participants diving into Simplicity today, gearing up for the hackathon on Thursday!
fun fact: the most trivial Simplicity contract that compiles down "just spend this coin" (fn main() { () }) compiles as "JA==" (yes in many languages).
This is purely coincidental.
https://t.co/Tf5s4eFZ3P
The latest $128M Balancer exploit is a reminder of something fundamental: most smart contracts today rely on audit-based hope.
Developers write complex code, auditors review it, and everyone hopes there are no hidden logic flaws. But hope isn’t assurance.
For an opportunity to get hands-on with Simplicity smart contracts and learn from experts at @Blockstream, @Boltzhq + @Vinteum_org, join us for the upcoming Liquid Bootcamp and Simplicity Hackathon in São Paulo, Brazil, early Nov.
Details + application: https://t.co/8BcDhTsXfg