Abdel on Nostr: This is for the proof generation of the whole header chain. Not for the verification. ...

This is for the proof generation of the whole header chain. Not for the verification. The verification of the proof takes 50-100ms even on a small device.