Validation services

Validation services provide verifiability to the data supplied and streamed through the platform.

After acquiring data from the sources, OpenLayer applied multiple methods to make sure the data is authentic. This means both the computing process acquiring it, as well as the computing process transforming it.

Traditionally when we talked about verifiable computation, we think of things like ZK. A Zero-Knowledge-Proof provides instant confirmation of a computation being correctly run. However with all the technology advancements, generating a proof is still slow and expensive.

Alternatively, we can use optimistic execution, as seen in Optimistic rollups. This method essentially assumes the computation is correct and disputes arise afterwards. However, existing interactive fraud proof systems implemented by various projects require a lengthy challenge period (7 days) to ensure all complex interactions are fully completed.

OpenLayer utilizes staked and restaked assets as affordable and available security, to achieve the better of both worlds by using an approach that we call optimisitic verifiable computation (OVC)

What is OVCHow is it doneWhy is it better

OpenLayer makes the validation component also modular and thus enables each developer to decide which way of data verifiability best fits their use cases or are more trustworthy. The available validation services include:

• Attested TLS connections - which helps witness and notarize an operator’s connection to the internet and the data being transmitted

• ZK proof generator and aggregators - which helps present and prove off-chain or offline data, as well as hiding sensitive private information while proving the data is still authentic and legit

• Secure enclaves - TEEs help with both attesting the correct execution of a compute, as well as the secureness of private keys stored on i

OpenLayer bootstraps the platform with certain key validation services, but is also open to have other participants add verifiability into the modular system.