Dark Opt Oracle

Inspired by UMA, Dark Opt Oracle is an optimistic oracle, in which anyone can enter an assertion generally coming from the off-chain world, and vouch for it with a financial stake. However, anyone can deny that assertion within the allotted time in a financial tug-of-war against the asserted. The outcome is determined by incentivized voting of all tokenholders in the protocol. In order to prevent corruption (graft) the voting is secret using a Zero Knowledge protocol and it stays secret forever. This allows the voters to even take bribes and still do the "right thing", as the briber can never find out how anyone voted.

The Dark Optimistic Oracle is executed on the Aleo Blockchain, which allows for private execution leveraging Zero Knowledge (ZK) technology. The program (Smart Contract) is written in Leo, which compiles into two parts for each function call: an off-chain execution for which a ZK proof is generated, and an on-chain execution where the ZK proof is recorder and additional public computation and data recording is executed. All the voting is private and only proofs are submitted on-chain, but also all incentives are secret, so no one can find out how anyone voted via forensic analysis.