halo2-examples
Include halo2 example circuits (by icemelon)
tornado-core
Tornado cash. Non-custodial private transactions on Ethereum. (by tornadocash)
halo2-examples | tornado-core | |
---|---|---|
1 | 9 | |
80 | 859 | |
- | - | |
0.0 | 3.9 | |
7 months ago | almost 2 years ago | |
Rust | JavaScript | |
- | GNU General Public License v3.0 only |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
halo2-examples
Posts with mentions or reviews of halo2-examples.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-02-09.
-
A beginner's intro to coding zero-knowledge proofs
To me, Halo2 had the steepest learning curve by far. Not just because of having to understand how PLONKish arithmetization works to build the circuits, but mostly because I found Halo2's API quite complex and its documentation hard to find. There are also few resources for learning Halo2: the best I found were the 0xparc course which provides a few really valuable code samples, as well as the examples in the main repo. You may also want to check out awesome-halo2 for updated resources.
tornado-core
Posts with mentions or reviews of tornado-core.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2024-02-09.
-
Tornado Cash with Halo2
This is the repo we’re going to look at: Tornado core.
-
How I Built an Anonymous Voting System on the Ethereum Blockchain Using Zero-Knowledge Proof
The method that I’m using is the same as what is used by Tornado Cash. Tornado Cash is a non-custodial Ethereum and ERC20 privacy solution based on zkSNARKs.
-
A beginner's intro to coding zero-knowledge proofs
Tornado Cash is a great learning resource on how to build a real-world zk-app with Circom circuits. I strongly recommend going through the 3-page-long white paper, as well as Gubsheep's breaking down Tornado Cash session from the 0xparc course, plus Porter's overview of the white paper.
-
Zero-Knowledge Proofs Using SnarkJS and Circom
This was my very short tutorial on using zk-SNARK in JavaScript. It’s not a full course, and you probably have many questions, but I hope I helped you to start your journey. Circom and snarkjs are well documented, and you can also learn a lot from existing projects like Tornado Cash.
- NCC Group security audit for Google's One VPN service
-
Doubt about tornado cash MerkleTree implementation
This is the MerkleTree contract, and the problem is on lines 58 and 59, I cannot understand why would you need to veryfy that the hash of a number has to be less than FIELD_SIZE.
- zero proof knowledge
- Tornado Cash
- $Blank Wallet: If MetaMask & Tornado Cash had a baby. 25 mil market cap, 10x potential
What are some alternatives?
When comparing halo2-examples and tornado-core you can also consider the following projects:
noir - Noir is a domain specific language for zero knowledge proofs
circom - zkSnark circuit compiler
ZoKrates - A toolbox for zkSNARKs on Ethereum
zkp-tests - Playing with zero-knowledge proof languages