search

succinctlabs / sp1

A performant, 100% open-source, contributor-friendly zkVM.
https://succinctlabs.github.io/sp1
Apache License 2.0
951 stars 297 forks source link

Question: LLVM #1545

Open UIZorrot opened 3 weeks ago

UIZorrot commented 3 weeks ago

SP1 claimed to be friendly for any LLVM-compiled language, I wonder how can I using another languauge to wirte SP1 specification, like C++. If I can't do that, it will be helpful if you told me about how to adapt more LLVM supported frontend (It may be hard, but it's helpful if you guys can share some insight)

ctian1 commented 1 week ago

If it compiles to RISC-V, it should be possible. We have some syscalls we call at the end of the program to commit to the public values hash, and we use syscalls for precompiles and I/O.