I need to find someone to explain the use cases behind risc0 and its potential applications for validating Bitcoin transactions and blocks. The important information is still all over the place and I am having a hard time grasping the actually important parts.
Discussion
Like what are the expected runtime and memory complexities, how can I trust its output, does it need a root of trust to guarantee stuff is validated against the chain tip, how much "system-dependent" stuff is allowed in the binaries, if none, can I inject system-dependent data models for storage somehow?