search

cspr-rad / kairos

Apache License 2.0
4 stars 0 forks source link

Add a SP1 proving server. #187

Closed Avi-D-coder closed 3 weeks ago

Avi-D-coder commented 1 month ago

This will allow us to compare SP1 and risc0. This PR has initial proofs, but does not integrate the new SP1 prover sever with the rest of kairos.

This PR also updates kairos-trie.