consensys / liszt

zk-rollup

liszt:

Liszt is a version of zk-rollup (layer 2 scaling sloution for ethereum) which will allow:

In ETH 1:

• Transfer funds from one zk-roolup to another. (For example Exchange -> Casino)

In ETH 2:

• Cross shard transfers
• Delegated executions, paying for transactions on shard X with funds locked in the rollup in shard Y.

More information can be found here: https://hackmd.io/gmZ_SkryRDOF7JeG6_rpTw?view

You need to install Ganache, for linux use:

sudo npm install -g ganache-cli

Then you can build by cloning this repository

Building:

• git clone https://github.com/ConsenSys/liszt
• cd liszt
• gradle test
• gradle shadowJar

To run open the console and launch the server with the following command:

Running REST server:

• java -Xms6000m -Xmx12048m -classpath server/build/libs/liszt-ws.jar net.consensys.liszt.server.Start 0 1 4567

To have the UI run:

UI

    yarn install
    yarn run serve

You should be able to go to http://localhost:8080/ and start doing transfers

Architecture:

liszt's Issues

merkle proof implementation

Currently we calculate only root hash in MerkleTree class, extend the implementation to support merkle proofs.

support for cross rollup transfer in liszt

Tests for rest-api

update readme and make repo public

zkp friendly hash function

In POC1 we use SHA-256 as hash function, this is not suitable for zkp proofs. Find and implement zkp friendly hash function.

batch manager

blockchain manager

Implement mock blockchain manager to simulate interaction with blockchain, bonus points for using ganache and implementing smart contract.

implement merkle tree root calculation for the the account list

Additional checks for X transfers

Currently lockDone in smart contract contains only timeouts, this should be extended. The lockDone should contain timeout and amount which is locked. Then update to transferDone should check corresponding locked amount. Probably this doesn't need to be in the Smart contract and can be checked in the proof in the future.

account manager

Implement in memory account manager which has to:

• keep track of the account balance
• validate transfer

Incorrect nonce update

Liszt updates nonce by 1 for every transaction, the correct way is to take the nonce send by the user (and check if it is bigger than the previous one)

support cross rollup transfers in liszt

implement controller

Controller will connect all high level components and will ensure for the correct workflo.w

rest api server

basic rest api server

mock prover manager

Implement mock prover manager.

Tests for setup with two operators

transfer manager

Implement transfer manager.