EthStorage Devs Meeting #35 Agenda

[qzhodl]

Meeting Info

• Jun 13, 2023, 10:00 UTC+8
• Duration: 60 minutes
• Meeting link
• Anyone can comment on the agenda where they would like this to be discussed.

  Agenda

• Protocol/App/Research progress
• TBA

[qzhodl]

• Downloader part 4 - under review
• Code review for PRs
• Following 4844 devnet-6 - TODO
• Benchmark for snarkjs, rapidsnark and gnark - TODO

[iteyelmp]

Learn about Ethereum nodes and research Portal Network - 90%

[syntrust]

• Fix gateway bug
• Generate zk proof in parallel: done
• Mining/prover integration: getting started

[ping-ke]

EthStorage

• refactor ethStorage -- (add provers: done); (add DB to store: done)
• add sync protocol - (refactor the p2p sync) (ongoing: 90%)
  • prs: (https://github.com/ethstorage/go-ethstorage/pull/16 (done), https://github.com/ethstorage/go-ethstorage/pull/17, https://github.com/ethstorage/go-ethstorage/pull/18, https://github.com/ethstorage/go-ethstorage/pull/19, https://github.com/ethstorage/go-ethstorage/pull/20) ; tow pr will be send this this week
  • unit test (will do it this week)

[qizhou]

• Code review
• Some issues
  • https://github.com/ethstorage/web3url-gateway/issues/5 move test cases to new repo and combine nand2's tests
  • https://github.com/ethstorage/web3url-gateway/issues/6 add new ERC for explaining manual/auto model encoding with examples
  • ZK study

[cyl19970726]

Research Recursive/Aggregator proof.

• Comparing the cost of single Poseidon Hash snark proof(written by Circom) with the cost of recursive Poseidon Hash(written by pil) https://github.com/cyl19970726/recursive-proof
• Comparing the cost of two Poseidon Hash circuits included in one snark proof with the cost of the aggregator proof of two Poseidon Hash Stark Proofs.
• Find a more recursive-friendly way to combine multiple Poseidon Hashs
• The aggregate proof script can be found in the following repository：
  • https://github.com/0xEigenLabs/eigen-zkvm/tree/main
  • https://github.com/0xPolygonHermez/zkevm-proverjs.git
  • https://github.com/eigmax/snarkpack (groth16 aggregator)

[LiuJiazheng]

Recursive/Aggregation Proof:

• Learned SnarkPack: https://eprint.iacr.org/2021/529.pdf (Groth 16)
• Found a similar aggregation way in Plonk style, might implement.
• GPU support for Halo2 (on going)