Could this project be used to emulate Simplicity on Bitcoin or only Elements?

[Nuhvi]

I am not very familiar with Element and Liquid, but I can see enough references to PSET that makes me wonder if this can't be used for emulation on Bitcoin.

I have tried to implement an emulator of few opcodes within the "Script Army Knife" proposal (SAKE), but I would be much more interested in Simplicity instead, especially because the formal verification aspect of it.

also, I would love to help with this if there is any need for such help.

[ivanlele]

Hello, currently, this project only supports Elements transactions, though this may change in the future.

This project is still in an early development and conceptualization stage. Because of this, we currently might accept contributions mainly in the form of small bug fixes. General Contribution Guide for more details.

But be aware, the codebase may change drastically and without notice, this includes interfaces and core logic as the project goes through stages. After the first stable release, the development process will stabilize. At that point, small contributions will be very appreciated, but larger features will need to be discussed and reviewed separately.