This is a sample application for private transactions on EOSIO using the Groth16/BLS12-381 SNARK verifier of the ZEOS token contract. This contract is deployed to the Kylin Testnet and is part of the new ZEOS Demo application.

See also:

• ZEOS Sapling
• JS Wallet (zavi)

This is a sample application for private transactions on EOSIO using the Groth16/BLS12-381 SNARK verifier of the ZEOS token contract. The ZAVI token contract has no DAPP dependencies nor does it need any DAPP tokens staked in order to use the SNARK verifier. All DAPP resources are being paid for by the ZEOS token contract. In order to call the verifyproof action of the ZEOS token contract it makes use of EOSIO action wrappers. The only dependency is the ZEOSIO header-only library.

This contract is built on EOSIO.

To setup the full workspace clone the dependency ZEOSIO as well:

mkdir zeos
cd zeos
git clone https://github.com/mschoenebeck/zeosio.git

Clone this repository:

git clone https://github.com/mschoenebeck/thezavitoken.git
cd thezavitoken

Build the contract:

cdt-cpp thezavitoken.cpp

• EOSIO Contract Development Toolkit (CDT)

If you need help join us on Telegram.

Matthias Schönebeck

It's open source. Do with it whatever you want.

Big thanks to the Electric Coin Company for developing, documenting and maintaining this awesome open source codebase for zk-SNARKs!

• Zcash Protocol Specification