# DSL for experimenting with contracts

**URL:** <https://delvingbitcoin.org/t/dsl-for-experimenting-with-contracts/748>\
**Category:** Implementation\
**Tags:** miniscript, lightning\
**Created:** [March 29, 2024, 4:50pm UTC](https://delvingbitcoin.org/t/dsl-for-experimenting-with-contracts/748 "2024-03-29T16:50:26Z")\
**Posts on this page:** 1\
**Showing post:** 5

<div class="post-metadata">

**Author:** ![jungly](https://delvingbitcoin.org/user_avatar/delvingbitcoin.org/jungly/32/289_2.png) [@jungly](https://delvingbitcoin.org/u/jungly)\
**Post date:** [March 31, 2024, 4:42pm UTC](https://delvingbitcoin.org/t/dsl-for-experimenting-with-contracts/748/5 "2024-03-31T16:42:27Z")

</div>

Makes a lot of sense to join forces. The DSL has to eventually incorporate advances in contract definitions you guys are pushing forward.

As I see it, the DSL can definitely help with some of the goals mentioned in the “advanced scripting” and “graph of transactions” parts. The only thing I am not sure of and need to figure out is state-fullness.

On the tooling part, I am close to shipping a jupyter notebook to build, share and run DSL scripts. That might be useful to BitVM too. Attached is a sneak peak 😉

What’s the best place to connect with people working on BitVM? Have you started work on defining constant expressions, templates and opcode composition?

 ![image](https://delvingbitcoin.org/uploads/default/original/1X/a8049d7cc699672eec0212d73dfae00f1f4aa5b3.png)

---

_[View the full topic](https://delvingbitcoin.org/t/dsl-for-experimenting-with-contracts/748)._