Focus on Mechanical Verifiers: Key Takeaways for Success #shorts

Now to summarize um with my last slide there there are three takeaways from from that and the first one is obviously we need to focus ourself more on this mechanical verifies on the oracles rather than on detections and what it means is um you know um first of all even if you're buying vendor solutions ask them how they are verifying on a constant basis they detections stop really focusing on this solutions which are trying to automate process unless you know that the process is tested against a specific set of deterministic ver verifiable oracles. Second one is obviously offense is leading. We are seeing this everywhere and they're winning this race of oracles and verifiers.