STARK verifier written in Simfony language for the Liquid sidechain

Simfony is a Rust-like language that compiles to Simplicity assembly.

https://github.com/keep-starknet-strange/stark-symphony

The stack is developed by Blockstream, and it is currently deployed in the Liquid sidechain testnet.

One of the key concepts of Simplicity is Jets:

The core language is very concise (nine GADT operators)

You can implement pretty complex programs using just the core, but it would take kilobytes of code and minutes of execution

However you can replace common sub-programs with "Jets" — formally proven equivalent implementations in C

This opens a clear path for introducing new exciting features without softforks, with a follow-up optimization route