`demo-simple-stf` uses native code inside `apply_slot`.

[citizen-stig]

Summary

demo-simple-stf package has several issues:

• CheckHashPreimageStf uses BlobReaderTrait::full_data which is not available in ZK, so this STF cannot be verified
• README.md is outdated

Desired outcome

• Accomodate correct usage of

[jhellerstein]

Another example: Sort is preceded by Handoff, but we could have a HeapHandoff or something that would do most of Sort, and save rebuffering.

[MingweiSamuel]

@zzlk ~~is~~ found room for optimizing the current vec handoff #480

[jhellerstein]

Required:

• StatelessHandoff doesn't own state, it participates in the state of its surrounding components

Future Optimization Rule:

• Rewrite rules to identify when we can replace Handoff with StatelessHandoff

[MingweiSamuel]

moved to #1500