halo2-tutorial
By icemelon
tornado-core
Tornado cash. Non-custodial private transactions on Ethereum. (by tornadocash)
halo2-tutorial | tornado-core | |
---|---|---|
1 | 9 | |
9 | 859 | |
- | - | |
10.0 | 3.9 | |
about 2 years 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-tutorial
Posts with mentions or reviews of halo2-tutorial.
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
As another example, you could define a circuit for proving the N-th Fibonacci number, where row i of the matrix has the values x[i-2], x[i-1], x[i]. This means you'd need three advice columns to begin with, let's call them a, b, c. Then, you'd constrain c to be equal to a + b in the same row using a gate, which requires adding a selector column for controlling it. And you'd have to set up equality constraints so that a and b are equal to b and c from the previous row. Last, in order to expose the N-th number as a public value, you'd need an instance column, constrained to equal the value of c at the last row.
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-tutorial and tornado-core you can also consider the following projects:
awesome-zero-knowledge-proofs - A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
circom - zkSnark circuit compiler
cairo-lang
zkp-tests - Playing with zero-knowledge proof languages