From 3293487447d529dd6e98bdf0cb4125a06f368cea Mon Sep 17 00:00:00 2001 From: krakhit <61501745+krakhit@users.noreply.github.com> Date: Thu, 5 Sep 2024 13:18:47 +0300 Subject: [PATCH] updates --- src/elliptic.md | 1 + src/handsonzk.md | 1 + src/protocolsOther.md | 2 +- 3 files changed, 3 insertions(+), 1 deletion(-) diff --git a/src/elliptic.md b/src/elliptic.md index 51514ad..1c0f5fd 100644 --- a/src/elliptic.md +++ b/src/elliptic.md @@ -53,6 +53,7 @@ - [Estimating the bit security of pairing friendly curves](https://research.nccgroup.com/2022/03/02/estimating-the-bit-security-of-pairing-friendly-curves/) - [optimizing pairing based cryptography, montgomery arithmetic in rust](https://research.nccgroup.com/2021/06/09/optimizing-pairing-based-cryptography-montgomery-arithmetic-in-rust/) - [On proving pairings - Eagen and Novakovic](https://eprint.iacr.org/2024/640) +- [Implementing pairing in BN254 - lambdaclass](https://blog.lambdaclass.com/how-we-implemented-the-bn254-ate-pairing-in-lambdaworks/) ## Specific curves diff --git a/src/handsonzk.md b/src/handsonzk.md index 60195f7..658a299 100644 --- a/src/handsonzk.md +++ b/src/handsonzk.md @@ -9,6 +9,7 @@ Our hands-on approach to learning ZK proofs provides interactive and practical t ## General - [A beginners intro to coding Zero knowledge Proofs](https://dev.to/spalladino/a-beginners-intro-to-coding-zero-knowledge-proofs-c56) +- [Programming ZKP from zero to hero](https://zkintro.com/articles/programming-zkps-from-zero-to-hero) - [Babysnark do do dodo dodo](https://github.com/initc3/babySNARK) - [typescript zk](https://alysiatech.medium.com/how-to-code-a-zk-app-each-step-explained-so-you-can-create-privacy-preserving-apps-be7e92d7189d) - [zero knowledge with Bellman](https://hongchao.me/zksnark/) diff --git a/src/protocolsOther.md b/src/protocolsOther.md index 496a28a..1d51a5a 100644 --- a/src/protocolsOther.md +++ b/src/protocolsOther.md @@ -3,6 +3,6 @@ |Protocols|Paper|Implementation |Resources |Universal|Transparent| |:---:|---|:---:|:---:|:---:|:---:| |vRAM - 2018|[→📝](https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8418645)| | |✅|❌| -|Bulletproof - 2018|[→📝](https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8418611)|
  • Dalek[[1]](https://github.com/dalek-cryptography/bulletproofs)
  • Lovesh[[2]](https://github.com/lovesh/bulletproofs-r1cs-gadgets)|
  • ZKP using Bullet proofs - Lovesh Harchandani[[1]](https://medium.com/coinmonks/zero-knowledge-proofs-using-bulletproofs-4a8e2579fc82)
  • Notes[[2]](https://github.com/AdamISZ/from0k2bp/blob/master/from0k2bp.pdf)|✅|✅| +|Bulletproof - 2018|[→📝](https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8418611)|
  • Dalek[[1]](https://github.com/dalek-cryptography/bulletproofs)
  • Lovesh[[2]](https://github.com/lovesh/bulletproofs-r1cs-gadgets)|
  • [ZKP using Bullet proofs](https://medium.com/coinmonks/zero-knowledge-proofs-using-bulletproofs-4a8e2579fc82)
  • [From ZK to Bulletproofs](https://github.com/AdamISZ/from0k2bp/blob/master/from0k2bp.pdf)
  • [Notes -0xrafal](https://rafal0x.substack.com/p/bulletproofs-a-crypto-gunfight-at)|✅|✅| |Virgo - 2020|[→📝](https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9152704)|[sunblaze-ucb](https://github.com/sunblaze-ucb/Virgo)| | ✅|✅| |Sigma Protocols|[→📝](https://cs.au.dk/~ivan/Sigma.pdf)|[sigmastate](https://github.com/ScorexFoundation/sigmastate-interpreter/tree/develop/interpreter/shared/src/main/scala/sigmastate/basics)|[Sigma Protocols for the Working Programmer](https://hackernoon.com/sigma-protocols-for-the-working-programmer)| | |