# 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`