Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/olegfomenko/winterfell-examples

Example STARK proving and verification using Winterfell
https://github.com/olegfomenko/winterfell-examples

Last synced: 9 days ago
JSON representation

Example STARK proving and verification using Winterfell

Awesome Lists containing this project

README

        

# Winterfell examples

Example STARK proving and verification of the knowledge of `a`, `b` such that `a+b` equals to the public `c`. Doesn't
make any sense in real life, only for educational purposes.