DevConnect IST Notes

Zk-hack

zk tooling

• Lisp DSL
• O2js
• Risc zero the stark to snark trnslator
• Plonkish
• Ola zkevm, private application
• Risc zero bonsai zk virtual machine verifier

privous winner

• zksafe
• posidon2 impelementation
• zkp2p

polygon zkp evm team presentation

• monolith hash function
• polygon zkevm stack
• hermez zk stack (Circom, PIL, ZKAsm)
• fflonk
• plonk
• circom testing approach in polygon
• KZG

Discussions Output Keywords

• Privacy (rems friend)
  1. https://ethresear.ch/t/the-application-of-zk-snarks-in-solidity-privacy-transformation-computational-optimization-and-mev-resistance/17017
  2. Salusec.io
• Bridge (Sahar)
  • Herodotus
• sucsint labs
  • https://twitter.com/SuccinctLabs/status/1724126315798733101
• mpt-witness-generator
  • https://github.com/privacy-scaling-explorations/zkevm-circuits/tree/main/mpt-witness-generator
• Mina Proving system
  • https://o1-labs.github.io/proof-systems/specs/kimchi.html
• Folding schemes
• Nova proving system
• https://esp.ethereum.foundation/applicants
• Fabric cryptography
• https://blog.blockstream.com/cat-and-schnorr-tricks-i/
• Hardware acceleration for zk
• https://blog.succinct.xyz/introducing-succinct/
• Zkevm equivalent VS zkevm compatible
• https://opcodeexplained.com
• Polygon CDK
• Cointelegraph has accelaration program
• Zkvm vs zkevm
• Ring instead of prime field or pairing
• FRI in zkp
• Risc v(5) Proving system
• Argument look up tables
• Inner product argument
• Metamask Snap
• Radius Project (Soving MEV) (Memepool sequencer)
• Hana network (private cross chainswap)
• Proof Systams

ProgCrypto

• vitalic
  • e/acc view
  • Switzerland govraament model
  • Offensive VS defencive technkologoy
  • Info security/ info defence
  • using cryptography to protect users
• Gubsheep
  • general cryptography compiler (eg. zk snark)
  • Witness Encryption
  • the god protocol nick sazbo
• ZKp2p
• rapid snark
• proving stack
• axiom halo2
• latis based crypto graphy
• zk-fhe
• polyhedra (has its own proving system)
• Formal Proof for proving system

Reseacrch Idea

​​​​* Instance withdrawal on fraud proof rollups with using the proof of burn or private proof of burn
​​​​* MEV on account abstraction
​​​​* ERC20 Extention Based on the EIP7503
​​​​* Having Becon nodes withdout running the execution layer node 
​​​​* ZK bridge
​​​​* zk sharding

Peoples

1- Chunhun (vincin) @ scroll
2- Michel @ OP Crypto
3- Sina @EF
4- Pierr (KZG, Solvency researcher developer)
5- Sahar Cryptozan

tags: Blockchain Event