# ZKP resrouces

Problem: https://vitalik.ca/general/2021/05/23/scaling.html#its-crucial-for-blockchain-decentralization-for-regular-users-to-be-able-to-run-a-node

ZKP: https://forwardanalytics.substack.com/p/zero-knowledge-landscape -> core article on understanding what we are doing

Data Availability: celestia, eignelayer, more

Rollups: https://ethereum-magicians.org/t/a-rollup-centric-ethereum-roadmap/4698

Rollup with DA: https://medium.com/momentum6/modular-blockchains-the-next-alpha-celestia-overview-456ca5bbf9b1

Awesome list:
- https://github.com/matter-labs/awesome-zero-knowledge-proofs - old but gold

ZKP Science (how i got started): https://zkp.science/

Starter Pack: https://ethresear.ch/t/zero-knowledge-proofs-starter-pack/4519

0x project ZKP (rust): https://github.com/0xProject/OpenZKP

Foundry (rust evm and more): https://github.com/foundry-rs/foundry/

Starks: https://vitalik.ca/general/2018/07/21/starks_part_3.html

Snarks: https://chriseth.github.io/notes/articles/zksnarks/zksnarks.pdf
- https://www.notamonadtutorial.com/the-hunting-of-the-zk-snark/
- https://0xparc.org/blog/zk-pairing-1

Articles (great articles i used during my research into fluid/terabethia/fleek network):
- https://decentralizedthoughts.github.io/2020-12-08-a-simple-and-succinct-zero-knowledge-proof/
- https://www.paradigm.xyz/2022/04/zk-hardware
- https://blog.cryptographyengineering.com/2014/11/27/zero-knowledge-proofs-illustrated-primer/
- https://medium.com/@VitalikButerin/zk-snarks-under-the-hood-b33151a013f6https://medium.com/@VitalikButerin/zk-snarks-under-the-hood-b33151a013f6

Circuits
-

- https://blog.zkga.me/intro-to-zksnarks
- https://wiki.nikiv.dev/security/cryptography/zero-knowledge-proofs
- https://github.com/yi-sun/circom-pairing
- https://hackmd.io/@benjaminion/bls12-381
- https://blog.trailofbits.com/2021/02/19/serving-up-zero-knowledge-proofs/
- https://www.entropy1729.com/the-hunting-of-the-zk-snark/
- https://zkproof.org/2021/06/30/setup-ceremonies/#:~:text=The%20first%20phase%20referred%20to,NP%2Drelation%2Dspecific%20CRS.
- https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.pdf
- https://docs.google.com/document/d/11J8R8JhP2k0zlpoha4P9x4bDdkO_gVL8rcBJP9LH5pc/edit#heading=h.dbes8nkdgp0o
- https://docs.google.com/document/d/18Kbhe58G5SF0mqoF9fdMf9dMeEvqRydi_IB5FpB0u9g/edit#heading=h.dbes8nkdgp0o
- https://electriccoin.co/blog/snark-explain/
- https://www.imperialviolet.org/2019/01/01/zkattestation.html
- https://github.com/arkworks-rs
- https://dankradfeist.de/ethereum/2020/06/16/kate-polynomial-commitments.html
- https://vitalik.ca/general/2019/09/22/plonk.html
- https://github.com/privacy-scaling-explorations

KZG
-

- https://inevitableeth.com/home/concepts/kzg-commitment
- https://vitalik.ca/general/2022/11/19/proof_of_solvency.html
- https://cs.stanford.edu/~aozdemir/docs/cozkSNARKs.pdf
- https://blog.zk.link/a-preliminary-note-on-vitaliks-proposal-for-arithmetic-hash-based-proto-danksharding-24ebb4df7c6f
- https://vitalik.ca/general/2021/11/05/halo.html
- https://taoa.io/posts/Understanding-KZG10-Polynomial-Commitments
- https://hackmd.io/@tompocock/Hk2A7BD6U