Dock

TL;DR<ul><li>Use <a href="https://docs.circom.io/" rel="noopener noreferrer nofollow">Circom</a> to specify zero-knowledge &#34;predicates&#34; on credential attributes.</li><li>Circom is a DSL (Domain Specific Language) used to express computations for which zk-SNARKs need to be created.</li><li>Predicates are written as programs in the Circom language.</li><li>The programs are compiled with the Circom compiler and the artifacts are used to create zk-SNARKs.</li><li>The proof protocol is <a href="https://github.com/lovesh/legogro16" rel="noopener noreferrer nofollow">LegoGroth16</a>, an adaptation of Groth16 (used by ZCash).</li></ul>We have updated our anonymous credentials protocol that enables developers to express &#34;predicates&#34; (checks that return true or false) on credential attributes using the <a href="https://docs.circom.io/" rel="noopener noreferrer nofollow">Circom</a> language and then prove that these predicates are satisfied in zero-knowledge.This means that credential verifiers can check that certain credential attributes satisfy the required conditions without learning those attributes such as convincing a credential verifier that the holder is (or is not) a resident of certain cities without revealing the city or that the blood group is not AB- without revealing the blood group. In both these examples, the city and blood group were attributes of a credential and the holder convinced some facts about those without revealing them. More examples would be a holder proving that his yearly income is less than $25,000 for availing of social care where their yearly income is calculated from the pay slip of each month (adding each month&#39;s income and checking that the sum is less than desired). Similarly, the holder could prove that his yearly income is more than a certain amount to get access to a high-risk, high-reward investment fund.<a href="https://blog.dock.io/circom-language-integration/" rel="noopener noreferrer nofollow">Read the full blog here.</a>

Circom Language Integration: Anonymous Credentials Protocol Update

Dock

Other articles published on Sep 30, 2022

RIPPLE PRICE ANALYSIS CMP-$0.4850: Bulls and bears are keeping an eye on $0.5000

Tokenomic Upgrade Overview

ETH Is A Commodity, Even With PoS Mechanism | CFTC Commissioner

Homogeneity vs. Heterogeneity of Cryptocurrencies

🌿 BUSINESS NFT CARDS - OPPORTUNITY TO ACCOMPANY OPENLIVE NFT 🌿

Diamond and Gold in September

Join our free newsletter for daily crypto updates!