logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-01-04 14:53:08 +00:00
Code Issues Packages Projects Releases Wiki Activity

Clarify zk usage with starky (#1596)

Browse Source
This commit is contained in:
Robin Salen 2024-06-08 12:01:43 -04:00 committed by GitHub
parent 42e048f45d
commit 217b4a272c
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
starky/README.md
View File

@ -1,3 +1,17 @@
# Starky
Starky is a FRI-based STARK implementation.
It is built for speed, features highly efficient recursive verification through `plonky2` circuits and gadgets, and is
being used as backend proving system for the Polygon Zero Type-1 zkEVM.
## Note on Zero-Knowledgeness
While STARKs can be made Zero-Knowledge, the primary purpose of `starky` is to provide fast STARK proof generation. As such,
ZK is disabled by default on `starky`. Applications requiring their proof to be `zero-knowledge` would need to apply a
recursive wrapper on top of their STARK proof with the `zero_knowledge` parameter activated in their `CircuitConfig`.
See `plonky2` documentation for more info.
## License
Licensed under either of