In the presentation below, Laurence Kirk, CEO of Extropy.io, presented on Zero-Knowledge Proof and how it could be applied to Oracles, focusing on the challenges in data verification and privacy standards. https://youtu.be/o_UPyvV0lYQ?embedable=true Below are major highlights from his presentation. What Is Extropy? Extropy is a consultancy firm that offers auditing and software development services for, Distributed Ledger Technologies and Cryptography. The company was founded in 2015 by Laurence Kirk to make blockchain knowledge more easily available to everyone. In line with this objective, they offer many free technical tutorials on topics such as smart contract development, Zero-Knowledge Proofs, Advanced EVM and Business aspects of the Blockchain. Zero-Knowledge Proofs (ZKPs) first appeared in an published in 1985. It was defined as a method by which one party (the prover) could prove to another party (the verifier) that something is true without revealing any private information (the witness). The concept is beneficial for scenarios in which privacy and security are essential, making it perfect for privacy-preserving blockchain applications, creating decentralized identifiers (DIDs) and . Zero-knowledge proofs MIT paper scaling solutions The earliest versions of ZKPs involved repeated interaction between the prover and verifier, but in 1988, the was introduced. It was from this breakthrough that zero-knowledge Succinct Non-interactive Argument of Knowledge (zk-SNARK) and the zero-knowledge Scalable Transparent Argument of Knowledge (zk-STARK) was designed. Both methods are fairly similar, but are succinct, meaning that the zero-knowledge proof is smaller than the witness and can be verified within a few milliseconds. was the first widespread application of zk-SNARKs. On the other hand, STARKS require a less complex setup. They are also scalable and resistant to quantum attacks. non-interactive ZKP SNARKS Zcash Decentralized IDs, Verifiable Credentials and ZKPs In a conducted on data collection and privacy, 93% of Americans considered it important to be able to control access to their personal data. With statistics like this, it is no surprise that the adoption of decentralized identity (DID) systems has risen. survey The decentralized identity system consists of four main pillars: Blockchain, Decentralized Identity wallet, Identifiers and Verifiable Credentials (VC). Decentralized Identity wallets are apps like that allow users to create their decentralized identifiers and manage their Verifiable Credentials. DIDs are unique alphanumeric identifiers containing details like public key and verification information. Lastly, Verifiable Credentials are secure digital credentials used to prove certain user information. The first VC has to be issued by real-world centralized bodies, but after this, users can use claims contained in that credential to obtain further VCs, which will be connected to their core DID and stored in their wallet. The most important feature of DID systems is that users, rather than the providers of the wallet, are in complete control of their data and decide how it is shared and to whom. Civic Pass In 2018, a set of data privacy laws, the , were formulated to give European consumers more control over how their personal data is handled and disseminated by companies. One of the stipulations was that blockchains should be “privacy-preserving by design”. The immutability and broad availability of data on public blockchains is an obvious challenge for developers who struggle to provide secure data without infringing on their users’ privacy. GDPR This is where Zero-Knowledge Proofs come in.  ZK systems provide a means of verifying claims regarding the possession of data without exposing it and this, in turn, enhances the privacy and security of the system. While DIDs aren’t perfect yet, they provide autonomy and security in a way that centralized IDs do not. Challenges Experienced in Using Zero-Knowledge Proofs with Oracles Firstly, some approaches to oracles require specific hardware, such as secure enclaves, to provide a trusted execution environment ( ). TEEs feature built-in cryptography that helps to verify the accuracy of certain computations. Furthermore, anonymity and the lack of staking can be a disadvantage when providing data. Checks must be put in place to prevent misuse of power and to punish bad actors on the network. Another thing to be improved upon is the resistance against . The goal of a Sybil attack is to gain control of a network by creating multiple fake identities and using them to gain a majority of influence. This allows the attacker to manipulate the network and undermine its integrity or reputation. TEE Sybil attacks Addressing these Challenges During his presentation, Laurence highlights the work being done to address some of the challenges mentioned above, as well as to further accelerate the applications of ZKPs. First, he describes an experiment conducted by the Extropy team using ZK-STARKS to check and prove the correctness of oracle computations. The Solana ecosystem has also developed , which focuses on the ordering of transactions in blockchains. Solana’s PoH is a cryptographic clock that guarantees when a transaction occurs by timestamping data. Verifiable Random Functions ( ) is another key aspect of cryptography that makes use of ZKPs to generate tamper-proof and verifiable randomness in the blockchain. Some use cases that can be powered by combining VRF with oracles include blockchain lotteries, fair NFT distribution and new in-game features like loot boxes and reward programs for on-chain gaming. proof-of-history (PoH) VRF Besides these technological advancements, Laurence also mentions some protocols that are working on certain privacy-preserving aspects to protect or validate their data, including: : A privacy-preserving oracle protocol that allows private data from unmodified web servers to be relayed safely. DECO : An anti-Sybil identity layer for bridging web2 users to Web3. Interep : An oracle providing confidential and trusted data sources. Town Crier : A transparent and permissionless oracle protocol to get any data on-chain quickly. Learn more about Tellor from at BOS22. Tellor their talk : A protocol that allows Ethereum users to prove their membership without revealing their original identity. Semaphore : An oracle network with a special focus on hybrid smart contracts that make use of real-world data. Learn more about Chainlink from at BOS22 Chainlink 2.0 their talk In Closing… Laurence concluded the talk by noting that while integrating ZKPs and Oracles would be incredibly challenging, it also has the potential to enable many exciting new use cases. And he expressed optimism about protocols working towards that goal. Laurence pointed out that the current solutions were focused on DeFi and finances. The ultimate test of ZKPs and Oracles would be when they are integrated into the Healthcare sector. The Blockchain Oracle Summit was the world’s first conference to focus solely on the crucial role of oracles in the larger blockchain ecosystem and their limitations. Leading speakers from around the globe gathered in Berlin to share their work and experience building and using oracle solutions. Find out more about Extropy: Extropy Website Extropy Github Extropy Youtube Extropy Twitter Laurence Kirk Twitter

As the transmitters of truth on a blockchain, oracles are one of the most crucial aspects of technology’s next chapter. The goal of the Blockchain Oracle Summit is to bring builders, users and investors together, to accelerate growth in the oracle space. While scaling oracles to meet growing demand, careful attention needs to be paid to maintaining costs, decentralization, trust and more. Immutable blockchains need to be complemented by the most robust oracle networks. 

Too Long; Didn't Read

In your car, at home, or at work — Bosch technology shapes many areas of life.

Zero-Knowledge Proofs: An Intersection of Data Verification and Privacy

Too Long; Didn't Read

Blockchain Oracle Summit

About Author

TOPICS

Languages

THIS ARTICLE WAS FEATURED IN...

Zero-Knowledge Proofs: An Intersection of Data Verification and Privacy

Too Long; Didn't Read

Blockchain Oracle Summit

About Author

TOPICS

Languages

THIS ARTICLE WAS FEATURED IN...

RELATED STORIES