search

hermeznetwork / circuits

Implements hermez network zk-Snarks circuits
GNU Affero General Public License v3.0
56 stars 21 forks source link

`set-idx` circuit #34

Closed krlosMata closed 3 years ago

krlosMata commented 3 years ago

This circuit should verify that and specifc idx is contained in a leaf in the state-tree of the source rollup given its ethereum address. Note the follwing:

the ethereum address would be the smart contract address and would be force by the contract idx would be a public parameter submitted to the contract

krlosMata commented 3 years ago

implemented in https://github.com/hermeznetwork/circuits/pull/36