feat: enable sp1 proof generation

kroma-network / tachyon

Modular ZK(Zero Knowledge) backend accelerated by GPU

MIT License

7.77k stars 231 forks source link

feat: enable sp1 proof generation #547

Closed chokobole closed 1 month ago

chokobole commented 1 month ago

Description

This PR enables SP1 proof generation. All sp1-recursion-program unit tests have been passed, and a Fibonacci e2e test was also successful. However, the Fibonacci test currently runs ~1.3x slower. See fibonacci.log

Key Additions

Implemented Hintable traits for DuplexChallenger and FriProof.
Implemented Serialize and Deserialize traits for FriProof and ProverData.

TomTaehoonKim commented 1 month ago

bde9394: Can you fix sp -> sp1?

TomTaehoonKim commented 1 month ago

2401e7f

@chokobole 2401e7f Can you fix sp -> sp1?