{"repo":"starkware-bitcoin/stark-symphony","free":true,"listed":false,"github":"https://github.com/starkware-bitcoin/stark-symphony","clone":"git clone https://github.com/starkware-bitcoin/stark-symphony.git","description":"STARK verifier written in SimplicityHL language","language":"Python","stars":19,"topics":["bitcoin","liquid","simplicity","starks"],"license":"MIT","category":"blockchain-web3","readme_excerpt":"STARK verifier in SimplicityHL This is an exploration project with a goal to implement a simple STARK verifier in SimplicityHL language. SimplicityHL 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! 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 Stwo verifier 1. Go to stwo-verifier folder 2. Run tests with make test 3. Generate witness with make proof-wit 4. Build the program using make build Simfony CLI This is a small CLI tool that helps with the development of SimplicityHL programs. Install simfony binary: Build a Simfony program: Run a Simfony program:","default_branch":null,"files":null,"tree":[],"storefront":"/r/starkware-bitcoin","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/starkware-bitcoin/stark-symphony/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}