Plasma Cashflow with history reduction with zk-SNARKS.
What have we done here?
- Plasma cashflow, based on specs https://hackmd.io/DgzmJIRjSzCYvl4lUjZXNQ?view and https://ethresear.ch/t/plasma-prime-design-proposal/4222
- History voids compression on zkSNARK
Overview more about voids and history reduction here: https://ethresear.ch/t/plasma-prime-design-proposal/4222 https://ethresear.ch/t/short-s-nt-ark-exclusion-proofs-for-plasma/4438
Main goals for this prototype: We are going to show plasma spec without lacks of MoreVP, Cash or RSA accumulators. We think, potentially fully s[nt]ark-driven plasma is better. But this construction is closer to production usage because we use the very simple circuit to exclude voids from the history. It is enough to use only hash functions and Merkle proofs, without any signatures or transaction processing.
What can you see here:
- SNARK, compressing the voids. For production, usage needs to implement Pedersen hash on bellman or libsnark.
- prototypes of some kinds of challenges. We do not focus all our attention on challenges, because plasma cash-specific challenges are a solved problem and no novelty here.
- we implement SumMerkleTree on solidity, golang, python, zokrates, covered by tests
- Also, you can see the plasma with separate components: root node, thick and thin client, contracts and snark.
- Run install.sh
- Run ganache
- Deploy BankexPlasma contract
- Copy address to config.go at node/config
- Run operator.go with
go run operator.go - Rum verifier.go with
go run verifier.go - Open http://localhost:8080/frontend to see the dashboard