One thing I'm curious about is how does one prove solvers execute correctly? That is where ZK infrastructure comes in but I will dig into that next Tag others solver networks protocols you know, and let's explore

This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.