Improve technical documentation about the SP1 proof system

[doutv]

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]

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]

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]

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