search

succinctlabs / sp1

The fastest, most feature-complete zkVM for developers.
https://succinctlabs.github.io/sp1
Apache License 2.0
1.02k stars 334 forks source link

Improve technical documentation about the SP1 proof system #1278

Open doutv opened 3 months ago

doutv commented 3 months ago

Do we have docs explaining how the zk prover works?

Currently sp1 docs are about how to use. I would like to understand how sp1 prover works, such as AIR, shard and precompiles.

P.S. Jolt docs talk about how it works https://jolt.a16zcrypto.com/how_it_works.html

ava-world commented 3 months ago

the docs is pretty clear about how to use sp1, here you go

https://docs.succinct.xyz/

If you have technical questions, you should visit the discord to connect with other devs

doutv commented 3 months ago

Yeah, but I want to know how it works, not just how to use.

I think it's better to discuss here rather than a permissioned dev channel in their discord.

Also, help devs understand how it works would definitely bring more contributors.

khandar-william commented 3 weeks ago

Perhaps this article can help: https://trapdoortech.medium.com/zero-knowledge-proof-introduction-to-sp1-zkvm-source-code-d26f88f90ce4