search

zkMIPS / zkm

The universal zkVM empowering Ethereum as the Global Settlement Layer
https://zkm.io
MIT License
92 stars 49 forks source link

Add timing for Poseidon #164

Closed eigmax closed 5 days ago

eigmax commented 1 week ago

We don't print out the time used for Poseidon during the proof generation. 

[2024-09-19T08:20:34Z DEBUG plonky2::util::timing] | 22.4098s to compute all proofs given commitments
[2024-09-19T08:20:34Z DEBUG plonky2::util::timing] | | 1.3288s to prove Arithmetic STARK
[2024-09-19T08:20:34Z DEBUG plonky2::util::timing] | | | 0.1132s to compute lookup helper columns
[2024-09-19T08:20:34Z DEBUG plonky2::util::timing] | | | 0.2131s to compute auxiliary polynomials commitment
[2024-09-19T08:20:34Z DEBUG plonky2::util::timing] | | | | 0.1736s to build Merkle tree
[2024-09-19T08:20:34Z DEBUG plonky2::util::timing] | | | 0.5089s to compute quotient polys
[2024-09-19T08:20:34Z DEBUG plonky2::util::timing] | | | 0.2807s to compute openings proof
[2024-09-19T08:20:34Z DEBUG plonky2::util::timing] | | 6.1539s to prove CPU STARK
[2024-09-19T08:20:34Z DEBUG plonky2::util::timing] | | | 0.9842s to compute auxiliary polynomials commitment
[2024-09-19T08:20:34Z DEBUG plonky2::util::timing] | | | | 0.2073s to FFT + blinding
[2024-09-19T08:20:34Z DEBUG plonky2::util::timing] | | | | 0.7169s to build Merkle tree
[2024-09-19T08:20:34Z DEBUG plonky2::util::timing] | | | 0.8456s to compute quotient polys
[2024-09-19T08:20:34Z DEBUG plonky2::util::timing] | | | 0.2655s to compute quotient commitment
[2024-09-19T08:20:34Z DEBUG plonky2::util::timing] | | | | 0.1883s to build Merkle tree
[2024-09-19T08:20:34Z DEBUG plonky2::util::timing] | | | 3.2172s to compute openings proof
[2024-09-19T08:20:34Z DEBUG plonky2::util::timing] | | | | 1.4136s to reduce batch of 280 polynomials
[2024-09-19T08:20:34Z DEBUG plonky2::util::timing] | | | | 1.4051s to reduce batch of 276 polynomials
[2024-09-19T08:20:34Z DEBUG plonky2::util::timing] | | | | 0.2157s to perform final FFT 2097152
[2024-09-19T08:20:34Z DEBUG plonky2::util::timing] | | 0.5309s to prove logic STARK
[2024-09-19T08:20:34Z DEBUG plonky2::util::timing] | | | 0.2688s to compute openings proof
[2024-09-19T08:20:34Z DEBUG plonky2::util::timing] | | 10.5560s to prove memory STARK
[2024-09-19T08:20:34Z DEBUG plonky2::util::timing] | | | 0.2366s to compute lookup helper columns
[2024-09-19T08:20:34Z DEBUG plonky2::util::timing] | | | 1.9619s to compute auxiliary polynomials commitment
[2024-09-19T08:20:34Z DEBUG plonky2::util::timing] | | | | 0.3859s to FFT + blinding
[2024-09-19T08:20:34Z DEBUG plonky2::util::timing] | | | | 1.4181s to build Merkle tree
[2024-09-19T08:20:34Z DEBUG plonky2::util::timing] | | | 0.7483s to compute quotient polys
[2024-09-19T08:20:34Z DEBUG plonky2::util::timing] | | | 1.1506s to compute quotient commitment
[2024-09-19T08:20:34Z DEBUG plonky2::util::timing] | | | | 0.3111s to FFT + blinding
[2024-09-19T08:20:34Z DEBUG plonky2::util::timing] | | | | 0.7531s to build Merkle tree
[2024-09-19T08:20:34Z DEBUG plonky2::util::timing] | | | 4.6346s to compute openings proof
[2024-09-19T08:20:34Z DEBUG plonky2::util::timing] | | | | 1.6054s to reduce batch of 23 polynomials
[2024-09-19T08:20:34Z DEBUG plonky2::util::timing] | | | | 1.3203s to reduce batch of 19 polynomials
[2024-09-19T08:20:34Z DEBUG plonky2::util::timing] | | | | 0.1326s to reduce batch of 2 polynomials
[2024-09-19T08:20:34Z DEBUG plonky2::util::timing] | | | | 0.9552s to perform final FFT 8388608
[2024-09-19T08:20:34Z DEBUG plonky2::util::timing] | | | | 0.3544s to fold codewords in the commitment phase
eigmax commented 5 days ago

The timer is filtered by 100ms.