Horizen is a zero-knowledge-enabled network of blockchains powered by the largest node infrastructure in the industry. Blockchain interoperability is enabled by the Zendoo protocol, which uses SNARK-verification and allows for complete flexibility in side

UMA is an optimistic oracle (OO) that can record any verifiable truth onto a blockchain. The OO has been called “a human-powered truth machine” because it is flexible enough to handle ambiguity and expands the design space possible in web3. UMA’s OO secur