List precompiles

[alexanderlhicks]

Currently we only track whether a zkVM supports precompiles or not, but it would be clearer if we could track the list of precompiles that different zkVMs support, as well as any kind of support for automation in this context (cf https://www.powdr.org/blog/auto-acc-circuits).
I think it would be fine do this incrementally; that is, list known precompiles for some zkVMs whilst leaving a checkmark for zkVMs for which we haven't yet checked which precompiles are available.

[rkdud007]

sg, maybe we can note major, common precompiles like keccak as defined columns + others (write some note to represent progress?)

fyi added that blog as a resource

[alexanderlhicks]

I was thinking of just replacing ✅ with a list of supported precompiles (very clear, but will increase the height of the table), a hyperlink to pages such as https://dev.risczero.com/api/zkvm/precompiles when available (not always the case and requires a click for the reader, but doesn't grow the table).
Columns for specific precompiles also make sense but that would increase the width of the table, which is already pretty wide (assuming Ali's PR is merged), and the "important" precompiles are likely to be those that any zkVM with precompiles has; that is, the information gained from having multiple columns might not be much greater than keeping ✅, which could also be redefined to mean "precompiles including at least SHA2, Keccak, ..." (which could also be an option).

[rkdud007]

I agree that not adding more columns makes sense. Another suggestion could be to put a dedicated precompile tracking page from the zkVM vendors. For example:

• https://docs.succinct.xyz/docs/writing-programs/precompiles
• https://dev.risczero.com/api/zkvm/precompiles
• https://jolt.a16zcrypto.com/future/precompiles.html
• https://book.openvm.dev/custom-extensions/overview.html

[0x471]

Hi can I work on this?

I agree that we shouldn't add more columns. Instead, I recommend embedding links to the current precompiles row.

[alexanderlhicks]

Hi can I work on this?

Of course! Thanks!
I've created a branch and an associated draft PR.