{"id":18611,"date":"2026-03-24T12:16:44","date_gmt":"2026-03-24T12:16:44","guid":{"rendered":"https:\/\/cryptoted.net\/index.php\/2026\/03\/24\/an-update-on-integrating-zcash-on-ethereum-zoe\/"},"modified":"2026-03-24T12:16:44","modified_gmt":"2026-03-24T12:16:44","slug":"an-update-on-integrating-zcash-on-ethereum-zoe","status":"publish","type":"post","link":"https:\/\/cryptoted.net\/index.php\/2026\/03\/24\/an-update-on-integrating-zcash-on-ethereum-zoe\/","title":{"rendered":"An Update on Integrating Zcash on Ethereum (ZoE)"},"content":{"rendered":"


\n<\/p>\n

\n

Members of the Ethereum R&D team and the Zcash Company are collaborating on a research project addressing the combination of programmability and privacy in blockchains. This joint post is being concurrently posted on the Zcash blog<\/a>,\u00a0and is coauthored by Ariel Gabizon (Zcash) and Christian Reitwiessner (Ethereum).<\/p>\n

Ethereum\u2019s flexible smart contract interface enables a large variety of applications, many of which have probably not yet been conceived. The possibilities grow considerably when adding the capacity for privacy. Imagine, for example, an election or auction conducted on the blockchain via a smart contract such that the results can be verified by any observer of the blockchain, but the individual votes or bids are not revealed. Another possible scenario may involve selective disclosure where users would have the ability to prove they are in a certain city without disclosing their exact location. The key to adding such capabilities to Ethereum is zero-knowledge succinct non-interactive arguments of knowledge (zk-SNARKs) – precisely the cryptographic engine underlying Zcash.<\/p>\n

One of the goals of the Zcash company, codenamed\u00a0Project Alchemy<\/a>, is to enable a direct decentralized exchange between Ethereum and Zcash. Connecting these two blockchains and technologies, one focusing on programmability and the other on privacy, is a\u00a0natural way to facilitate the development of\u00a0applications requiring both.<\/p>\n

As part of the Zcash\/Ethereum technical collaboration, Ariel Gabizon from Zcash visited Christian Reitwiessner from the Ethereum hub at Berlin a few weeks ago. The highlight of the visit is a proof of concept implementation of a zk-SNARK verifier written in Solidity, based on pre-compiled Ethereum contracts implemented for the Ethereum C++ client. This work complements Baby ZoE<\/a>\u00a0, where a zk-SNARK precompiled contract was written for Parity (the Ethereum Rust client). The updates we’ve made\u00a0involved adding tiny cryptographic primitives (elliptic curve multiplication, addition and pairing) and implementing\u00a0the rest in Solidity, all of which allows for a greater flexibility and enables using a variety of zk-SNARK constructions without requiring a hard fork. Details will be shared as they are available later. We tested the new code by successfully verifying a real privacy-preserving Zcash transaction on a testnet of the Ethereum blockchain.<\/p>\n

The verification took only 42 milliseconds, which shows that such precompiled contracts can be added, and the gas costs for using them can be made to be quite affordable.<\/p>\n

<\/g><\/svg><\/a>What can be done with such a system<\/h3>\n

The Zcash system can be reused on Ethereum to create shielded custom tokens. Such tokens already allow many applications like voting,\u00a0(see below) or simple blind auctions where participants make bids without the\u00a0knowledge of the amounts bid by others.<\/p>\n

If you want to try compiling the proof of concept, you can use the following commands. If you need help, see\u00a0https:\/\/gitter.im\/ethereum\/privacy-tech<\/a><\/p>\n

\n
git<\/span> clone https:\/\/github.com\/scipr-lab\/libsnark.git\n<\/span>cd<\/span> libsnark\n<\/span><\/code><\/pre>\n
sudo<\/span> <\/span>PREFIX<\/span>=<\/span>\/usr\/local <\/span>make<\/span> <\/span>NO_PROCPS<\/span>=<\/span>1<\/span> <\/span>NO_GTEST<\/span>=<\/span>1<\/span> <\/span>NO_DOCS<\/span>=<\/span>1<\/span> <\/span>\\<\/span>\n<\/span>   <\/span>CURVE<\/span>=<\/span>ALT_BN128 <\/span>\\<\/span><\/code><\/pre>\n
\u00a0\u00a0 <\/span>FEATUREFLAGS<\/span>=<\/span>\"-DBINARY_OUTPUT=1 -DMONTGOMERY_OUTPUT=1 \\\n<\/span>   -DNO_PT_COMPRESSION=1\"<\/span> <\/span>\\<\/span><\/code><\/pre>\n
\u00a0\u00a0 lib <\/span>install<\/span><\/code><\/pre>\n
cd<\/span> <\/span>..<\/span><\/code><\/pre>\n
git<\/span> clone --recursive -b snark https:\/\/github.com\/ethereum\/cpp-ethereum.git<\/span><\/code><\/pre>\n
cd<\/span> cpp-ethereum<\/span><\/code><\/pre>\n
.\/scripts\/install_deps.sh <\/span>&&<\/span> cmake <\/span>.<\/span> -DEVMJIT<\/span>=<\/span>0<\/span> -DETHASHCL<\/span>=<\/span>0<\/span> <\/span>&&<\/span> <\/span>make<\/span> eth<\/span><\/code><\/pre>\n
cd<\/span> <\/span>..<\/span><\/code><\/pre>\n
git<\/span> clone --recursive -b snarks https:\/\/github.com\/ethereum\/solidity.git<\/span><\/code><\/pre>\n
cd<\/span> solidity<\/span><\/code><\/pre>\n
.\/scripts\/install_deps.sh <\/span>&&<\/span> cmake <\/span>.<\/span> <\/span>&&<\/span> <\/span>make<\/span> soltest<\/span><\/code><\/pre>\n
cd<\/span> <\/span>..<\/span><\/code><\/pre>\n
.\/cpp-ethereum\/eth\/eth --test -d \/tmp\/test<\/span><\/code><\/pre>\n
# And on a second terminal:<\/span><\/code><\/pre>\n
.\/solidity\/test\/soltest -t <\/span>\"*\/snark\"<\/span> -- --ipcpath \u00a0\u00a0\/tmp\/test\/geth.ipc \u00a0--show-messages<\/span><\/code><\/pre>\n<\/div>\n
We also discussed various aspects of integrating zk-SNARKs into the Ethereum blockchain, upon which we now expand.<\/p>\n
<\/g><\/svg><\/a>Deciding what\u00a0precompiled contracts to define<\/h3>\n
Recall that a SNARK is a short proof of some property, and what is needed for adding the privacy features to the Ethereum blockchain are\u00a0clients that have the ability to verify such a proof.<\/p>\n
In all recent constructions, the verification procedure consisted solely of operations on elliptic curves. Specifically, the verifier requires scalar multiplication and addition on an elliptic curve group, and would also require a heavier operation called a bilinear pairing.<\/p>\n
As mentioned here<\/a>, implementing these operations directly in the EVM is too costly. Thus, we would want to implement pre-compiled contracts that perform these operations. Now, the question debated is:\u00a0what level of generality should these pre-compiled contracts aim for.<\/p>\n
The security level of the SNARK corresponds to the parameters of the curve. Roughly, the larger the curve order is, and the larger something called the embedding degree is, and the more secure the SNARK based on this curve is. On the other hand, the larger these quantities are, naturally the more costly the operations on the corresponding curve are. Thus, a contract designer using SNARKs may wish to choose these parameters according to their own desired efficiency\/security tradeoff. This tradeoff\u00a0is one reason\u00a0for implementing a pre-compiled contract with a high level of generality, where the contract designer can choose from a large family of curves. We indeed began by aiming\u00a0for a high level of generality, where the description of the curve is given as part of the input to the contract. In such a case, a smart contract would be able to perform addition in any elliptic curve group.<\/p>\n
A complication with this approach is assigning gas cost to the operation. You must assess, merely from the description of the curve, and with no access to a specific implementation, how expensive a group operation on that curve would be in the worst case. A somewhat less general approach is to allow all curves from a given family. We noticed that when working with the Barreto-Naehrig (BN) family of curves, one can assess roughly how expensive the pairing operation will be, given the curve parameters, as all such curves support a specific kind of optimal Ate pairing. Here’s a sketch<\/a> of how such a precompile would work and how the gas cost would be computed.<\/p>\n
We learned a lot from this debate, but ultimately, decided to “keep it simple” for this proof of concept: we chose to\u00a0implement contracts for\u00a0the specific curve currently used by Zcash. We did this by using wrappers of the corresponding functions in the libsnark<\/a> library, which is also used by Zcash.<\/p>\n
Note that we could have simply used a wrapper for the entire SNARK verification function currently used by Zcash, as was done in the above mentioned Baby ZoE project. However, the advantage of explicitly defining elliptic curve operations is enabling using a wide variety of SNARK constructions which, again, all have a verifier working by some combination of the three previously mentioned elliptic curve operations.<\/p>\n
<\/g><\/svg><\/a>Reusing the Zcash setup for new anonymous tokens and other applications<\/h3>\n
As you may have heard, using SNARKs requires a complex setup phase<\/a> in which the so-called public parameters of the system are constructed. The fact that these public parameters need to be generated in a secure way every time we want to use a SNARK for a particular circuit significantly, hinders the usability of SNARKs. Simplifying this setup phase is an important goal that we have given\u00a0thought to, but haven’t had\u00a0any success in so\u00a0far.<\/p>\n
The good news is that someone desiring to issue a token supporting privacy-preserving transactions can simply reuse the public parameters that have already been securely generated by Zcash. It can be reused because the\u00a0circuit used to verify privacy-preserving transactions is not inherently tied to one currency or blockchain. Rather, one of its explicit inputs is the root of a Merkle tree that contains all the valid notes of the currency. Thus, this input can be changed according to the currency one wishes to work with. Moreover, if it is easy to start a new anonymous token. You can already accomplish many tasks that do not look like tokens at\u00a0first glance. For example, suppose we wish to conduct an anonymous election to choose a preferred option amongst two. We can issue an anonymous custom token for the vote, and send one coin to each voting party. Since there is no \u201cmining\u201d, it will not be possible to generate tokens any other way. Now each party sends their coin to one of two addresses according to their vote. The address with a larger final balance corresponds to the election result.<\/p>\n
<\/g><\/svg><\/a>Other applications<\/h3>\n
A non-token-based system that is fairly simple to build and\u00a0allows for \u201cselective disclosure\u201d follows. You can, for example, post an encrypted message in regular intervals, containing your physical location to the blockchain (perhaps with other people\u2019s signatures to prevent spoofing). If you use a different key for each message, you can reveal your location only at a certain time by publishing\u00a0the key. However, with\u00a0zk-SNARKs you can additionally prove that you were in a certain area without revealing exactly where you were.\u00a0Inside the zk-SNARK, you decrypt your location and check that it is inside the area. Because of the zero-knowledge property, everyone can verify that check, but nobody will be able to\u00a0retrieve your actual location.<\/p>\n
<\/g><\/svg><\/a>The work ahead<\/h3>\n
Achieving the mentioned functionalities – creating anonymous tokens and verifying Zcash transactions on the Ethereum blockchain, will require implementing other elements used by Zcash in Solidity.<\/p>\n
For the first functionality, we must have an implementation of tasks performed by nodes on the Zcash network such as updating the note commitment tree.<\/p>\n
For the second functionality, we need an implementation of the equihash proof of work algorithm used by Zcash in Solidity. Otherwise, transactions can be verified as valid in themselves, but we do not know whether the transaction was actually integrated\u00a0into\u00a0the Zcash blockchain.<\/p>\n
Fortunately, such an implementation was written<\/a>; however, its efficiency needs to be improved in order to be used in practical applications.<\/p>\n
Acknowledgement<\/strong>: We thank Sean Bowe for technical assistance. We also thank Sean and Vitalik Buterin for helpful comments, and Ming Chan for editing.<\/p>\n<\/div>\n

\n
Source link <\/a><\/p>\n","protected":false},"excerpt":{"rendered":"
Members of the Ethereum R&D team and the Zcash Company are collaborating on a research project addressing the combination of programmability and privacy in blockchains. This joint post is being concurrently posted on the Zcash blog,\u00a0and is coauthored by Ariel Gabizon (Zcash) and Christian Reitwiessner (Ethereum). Ethereum\u2019s flexible smart contract interface enables a large variety […]<\/p>\n","protected":false},"author":6,"featured_media":18498,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"tdm_status":"","tdm_grid_status":"","footnotes":""},"categories":[24],"tags":[],"kronos_expire_date":[],"class_list":["post-18611","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-ethereum"],"_links":{"self":[{"href":"https:\/\/cryptoted.net\/index.php\/wp-json\/wp\/v2\/posts\/18611","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/cryptoted.net\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/cryptoted.net\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/cryptoted.net\/index.php\/wp-json\/wp\/v2\/users\/6"}],"replies":[{"embeddable":true,"href":"https:\/\/cryptoted.net\/index.php\/wp-json\/wp\/v2\/comments?post=18611"}],"version-history":[{"count":0,"href":"https:\/\/cryptoted.net\/index.php\/wp-json\/wp\/v2\/posts\/18611\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/cryptoted.net\/index.php\/wp-json\/wp\/v2\/media\/18498"}],"wp:attachment":[{"href":"https:\/\/cryptoted.net\/index.php\/wp-json\/wp\/v2\/media?parent=18611"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/cryptoted.net\/index.php\/wp-json\/wp\/v2\/categories?post=18611"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/cryptoted.net\/index.php\/wp-json\/wp\/v2\/tags?post=18611"},{"taxonomy":"kronos_expire_date","embeddable":true,"href":"https:\/\/cryptoted.net\/index.php\/wp-json\/wp\/v2\/kronos_expire_date?post=18611"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}