STARK verifier in Simfony language

This is an exploration project with a goal to implement a simple STARK verifier in Simfony language.
Simfony is a Rust-like language that compiles to Simplicity assembly. 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

STARKs are perfect candidate for this approach!

Roadmap

• Fibonacci square over toy field PoC
• Liquid testnet deployment
• Operations in M31 field and its extensions
• Operations on M31 and QM31 circle points
• Composition polynomial evaluation
• Sha256 channel
• Commitment phase
• OODS phase
• Circle FRI commitment
• Proof of work
• Generating FRI queries
• Merkle decommitments
• FRI decommitments
• Wide fibonacci e2e
• Plonk

Dev quickstart

0. Clone this repo
1. Install simfony CLI tool with make install
2. Run tests with make test

STARK 101

1. Go to stark101 folder
2. Generate proof with make proof
3. Build STARK verifier program with make build
4. Run the program using the generated witness with make run

Simfony CLI

This is a small CLI tool that helps with the development of Simfony programs.

Install simfony binary:

cargo install --git https://github.com/keep-starknet-strange/stark-symphony simfony-cli

Build a Simfony program:

simfony build src/simple_fib.simf --witness src/simple_fib.wit --output-path src/simple_fib.bin

Run a Simfony program:

simfony run src/simple_fib.simf --witness src/simple_fib.wit --param src/simple_fib.param

Simfony VSIX

VSCode extension providing syntax highlighting and autocompletion for the Simfony programming language.

Read the instructions.