
Zero to Start: Applied Fully Homomorphic Encryption (FHE) Part 2
Part 2: Fundamental Concepts, FHE Development, Applied FHE, Challenges and Open Problems, FHE Resources.This post was written by 0xZoey. Special thanks to Janmajaya, Enrico, and Owen who generously gave their time and expertise to review this piece. Your valuable contributions and feedback have greatly enhanced the quality and depth of this work. This is an extension of Part 1: An Introduction to FHE, ZKPs & MPC, and The State of FHE Development.Fundamental ConceptsThreshold FHEThreshold cryp...

The next chapter for zkEVM Community Edition
We are excited to share some updates on our road to building a zkEVM, as we generalize our exploration towards the design and implementation of a general-purpose zkVM. Zero-knowledge research and development in the broader Ethereum ecosystem has been bearing wholesome fruits over the past three years. That came after years of vibrant ideation with an uncompromising approach to security, building on the shoulders of giants of the prover-verifier computational model in computer science and cryp...

zkEVM Community Edition Part 3: Logic and Structure
This series intends to provide an overview of the zkEVM Community Edition in a way that is broadly accessible. Part 3 reviews the general logic and structure of the zkEVM Community Edition. Part 1: Introduction Part 2: Components The zkEVM Community Edition has the challenge of creating proofs to validate EVM execution as it is today. To make this feasible, a system of interconnected circuits has been designed to prove the correctness of EVM opcodes while dealing with the inefficiencies of co...
>100 subscribers



Zero to Start: Applied Fully Homomorphic Encryption (FHE) Part 2
Part 2: Fundamental Concepts, FHE Development, Applied FHE, Challenges and Open Problems, FHE Resources.This post was written by 0xZoey. Special thanks to Janmajaya, Enrico, and Owen who generously gave their time and expertise to review this piece. Your valuable contributions and feedback have greatly enhanced the quality and depth of this work. This is an extension of Part 1: An Introduction to FHE, ZKPs & MPC, and The State of FHE Development.Fundamental ConceptsThreshold FHEThreshold cryp...

The next chapter for zkEVM Community Edition
We are excited to share some updates on our road to building a zkEVM, as we generalize our exploration towards the design and implementation of a general-purpose zkVM. Zero-knowledge research and development in the broader Ethereum ecosystem has been bearing wholesome fruits over the past three years. That came after years of vibrant ideation with an uncompromising approach to security, building on the shoulders of giants of the prover-verifier computational model in computer science and cryp...

zkEVM Community Edition Part 3: Logic and Structure
This series intends to provide an overview of the zkEVM Community Edition in a way that is broadly accessible. Part 3 reviews the general logic and structure of the zkEVM Community Edition. Part 1: Introduction Part 2: Components The zkEVM Community Edition has the challenge of creating proofs to validate EVM execution as it is today. To make this feasible, a system of interconnected circuits has been designed to prove the correctness of EVM opcodes while dealing with the inefficiencies of co...
Share Dialog
Share Dialog
This post was written by the Anon Aadhaar team.
We’re excited to announce the public release of Anon Aadhaar!
Anon Aadhaar is a protocol that lets users anonymously prove their Aadhaar (Indian) identity, in a very fast and simple way. The core of the protocol is the circuits, but we also provide a SDK to let any app use the protocol.
Try our demo with your Aadhaar card or example files (signed pdf, certificate file). Follow our tutorial by building a voting app with Anon Aadhaar, fork our example app and build your own.
The Aadhaar program is among the largest digital identity schemes in the world. There are 1.2 billion people enrolled, accounting for around 90% of India’s population.
Aadhaar cards carry both demographic and biometric data, including the holder’s date of birth and its fingerprint. They are used in a variety of contexts such as loan agreements or housing applications. Bring this onchain in a privacy preserving way opens the possibility for many more applications on Ethereum.
Anon Aadhaar is one instantiation of the broader “Anonymous Credentials" with the goals of “proof of citizenship”, “proof of identity”, “proof of passport”, “proof of personhood”, among others. Our approach leverages government identities, in this case Aadhaar Cards, to enhance digital interactions.
A healthy society enables people to voice their concerns, opinions and ideas without fear or reprimands. Although there are many protocols that provide anonymity, anonymity without context lowers the value of the interactions. How can I be sure the opinions shared are not part of a bot network, campaign, or external influence for my country/DAO/company?
Contextual anonymity is key to build trust and enhance the value of noise to signal.
In the broader context, Anon Aadhaar supports proof of personhood by adding a convenient privacy layer. We can talk about a “forth column” that leverages existing PKI and public government ID programs to enhance digital interactions.

Table modified from https://vitalik.ca/general/2023/07/24/biometric.html
*Low decentralization in regard to the Government being the single issuer of the IDs. But high decentralization in the verification and permissionless applications that can be built on top of them.
SDK to directly integrate with your dapp
PCD package to leverage this framework
React package to quickly integrate your front-end
Example app to try it and and fork
Proving time ~30s (avg on browser)
anon-aadhaar-contracts: import it directly in your smart contract to check on-chain that a user has a valid anon Aadhaar identity proof.
anon-aadhaar-pcd: PCD is a clever framework for programmable cryptography to facilitate composability and interoperability. This package facilitates building dapps using PCDs.
anon-aadhaar-react React component library to embed the anon-aadhaar circuit in your project, and let you verify that a user has a regular Aadhaar ID, by generating ZKProofs, and authenticating them.
Check our documentation and feel free to try our Integration Tutorial.
Anonymous protocols are very versatile, so get creating! If you want inspiration here are some ideas:
HeyIndia: a copy of HeyAnon app, but need to prove you’re from India in order to post.
Aadhaar Wallet: similar to Myna, create an ERC-4337 compatible wallet that uses your Aadhaar card to approve transactions or social recover with other users.
Voting App for Quadratic Voting: vote if you can prove your citizenship.
Telegram private groups: where you need to prove you’re an Indian citizen in order to join
Bandada credential groups: gatekept by Anon Aadhaar proofs and then integrated to anonymous chats using Discreetly.
SSO Server: anonymously login with your “proof of citizenship” in any website. Explore integrations with Sign in with Ethereum
Payment Channel: use Anon Aadhaar SDK to create payment channel. Help people can verify another party with zkp. This is only for demo how people can use our SDK.
Loan Approval Platform: create a platform for secure and anonymous loan approvals based on Aadhaar information.
Ethereum Wallet Recovery: design a dApp that helps users recover their Ethereum wallets using their Aadhaar credentials.
Ethresear.ch - Leveraging an existing PKI for a trustless and privacy preserving identity verification scheme
https://polygon.technology/blog/polygon-id-is-more-than-biometric-proof-of-personhood
Our two key next features are 🏍️ Supporting Nullifiers & 🏍️ iOS Support. Future ideas include: faster proving times, supporting more countries, etc.
Check our roadmap and feel free to give feedback at #proof-of-citizenship
Thanks to @vuvoth, @Meyanis95 , @andy, @jmall, @xyz_pierre, @PSE design team
This post was written by the Anon Aadhaar team.
We’re excited to announce the public release of Anon Aadhaar!
Anon Aadhaar is a protocol that lets users anonymously prove their Aadhaar (Indian) identity, in a very fast and simple way. The core of the protocol is the circuits, but we also provide a SDK to let any app use the protocol.
Try our demo with your Aadhaar card or example files (signed pdf, certificate file). Follow our tutorial by building a voting app with Anon Aadhaar, fork our example app and build your own.
The Aadhaar program is among the largest digital identity schemes in the world. There are 1.2 billion people enrolled, accounting for around 90% of India’s population.
Aadhaar cards carry both demographic and biometric data, including the holder’s date of birth and its fingerprint. They are used in a variety of contexts such as loan agreements or housing applications. Bring this onchain in a privacy preserving way opens the possibility for many more applications on Ethereum.
Anon Aadhaar is one instantiation of the broader “Anonymous Credentials" with the goals of “proof of citizenship”, “proof of identity”, “proof of passport”, “proof of personhood”, among others. Our approach leverages government identities, in this case Aadhaar Cards, to enhance digital interactions.
A healthy society enables people to voice their concerns, opinions and ideas without fear or reprimands. Although there are many protocols that provide anonymity, anonymity without context lowers the value of the interactions. How can I be sure the opinions shared are not part of a bot network, campaign, or external influence for my country/DAO/company?
Contextual anonymity is key to build trust and enhance the value of noise to signal.
In the broader context, Anon Aadhaar supports proof of personhood by adding a convenient privacy layer. We can talk about a “forth column” that leverages existing PKI and public government ID programs to enhance digital interactions.

Table modified from https://vitalik.ca/general/2023/07/24/biometric.html
*Low decentralization in regard to the Government being the single issuer of the IDs. But high decentralization in the verification and permissionless applications that can be built on top of them.
SDK to directly integrate with your dapp
PCD package to leverage this framework
React package to quickly integrate your front-end
Example app to try it and and fork
Proving time ~30s (avg on browser)
anon-aadhaar-contracts: import it directly in your smart contract to check on-chain that a user has a valid anon Aadhaar identity proof.
anon-aadhaar-pcd: PCD is a clever framework for programmable cryptography to facilitate composability and interoperability. This package facilitates building dapps using PCDs.
anon-aadhaar-react React component library to embed the anon-aadhaar circuit in your project, and let you verify that a user has a regular Aadhaar ID, by generating ZKProofs, and authenticating them.
Check our documentation and feel free to try our Integration Tutorial.
Anonymous protocols are very versatile, so get creating! If you want inspiration here are some ideas:
HeyIndia: a copy of HeyAnon app, but need to prove you’re from India in order to post.
Aadhaar Wallet: similar to Myna, create an ERC-4337 compatible wallet that uses your Aadhaar card to approve transactions or social recover with other users.
Voting App for Quadratic Voting: vote if you can prove your citizenship.
Telegram private groups: where you need to prove you’re an Indian citizen in order to join
Bandada credential groups: gatekept by Anon Aadhaar proofs and then integrated to anonymous chats using Discreetly.
SSO Server: anonymously login with your “proof of citizenship” in any website. Explore integrations with Sign in with Ethereum
Payment Channel: use Anon Aadhaar SDK to create payment channel. Help people can verify another party with zkp. This is only for demo how people can use our SDK.
Loan Approval Platform: create a platform for secure and anonymous loan approvals based on Aadhaar information.
Ethereum Wallet Recovery: design a dApp that helps users recover their Ethereum wallets using their Aadhaar credentials.
Ethresear.ch - Leveraging an existing PKI for a trustless and privacy preserving identity verification scheme
https://polygon.technology/blog/polygon-id-is-more-than-biometric-proof-of-personhood
Our two key next features are 🏍️ Supporting Nullifiers & 🏍️ iOS Support. Future ideas include: faster proving times, supporting more countries, etc.
Check our roadmap and feel free to give feedback at #proof-of-citizenship
Thanks to @vuvoth, @Meyanis95 , @andy, @jmall, @xyz_pierre, @PSE design team
Web3 API Access Control: develop a dApp that enables developers to control access to their web3 APIs based on verified Aadhaar identities.
Privacy-Preserving Developer Communities: decentralized developer communities where members can engage in discussions and collaborations while maintaining their anonymity.
Web3 API Access Control: develop a dApp that enables developers to control access to their web3 APIs based on verified Aadhaar identities.
Privacy-Preserving Developer Communities: decentralized developer communities where members can engage in discussions and collaborations while maintaining their anonymity.
No comments yet