deploy: 3be6ef2

applicationszk.html

@@ -204,7 +204,7 @@ <h2 id="zk-rollups-evmsvms"><a class="header" href="#zk-rollups-evmsvms">ZK Roll
 <li><a href="https://ethworks.io/assets/download/zero-knowledge-blockchain-scaling-ethworks.pdf">Ethworks: Blockchain scaling</a></li>
 <li><a href="https://hackmd.io/QkOUJ-UJQ-CJ7cs_yx6_GA">Ethereum-powered ZK-Rollups: World Beaters</a></li>
 <li><a href="https://www.taurushq.com/insights/20220131_Taurus_scalability_L2_part1/EthereumL2_Scalability_part1.pdf">Ethereum - Scalability</a></li>
-<li><a href="https://vitalik.ca/general/2021/01/05/rollup.html#:~:text=One%20important%20compression,SNARKs%20are%20valid.">Zk rollups an incomplete guide</a></li>
+<li><a href="https://vitalik.eth.limo/general/2021/01/05/rollup.html#:~:text=One%20important%20compression,SNARKs%20are%20valid.">Zk rollups an incomplete guide</a></li>
 <li><a href="https://hackmd.io/SzneKXSWRJ6yJxzgFm9MwQ?view">Decentralized zk-Rollup</a></li>
 <li><a href="https://limechain.tech/blog/optimistic-rollups-vs-zk-rollups/">Zk rollups popular</a></li>
 <li><a href="https://ethereum.org/ph/developers/docs/scaling/zk-rollups/">Ethereum: Zk rollups</a></li>
@@ -267,7 +267,7 @@ <h2 id="zk-bridges"><a class="header" href="#zk-bridges">ZK bridges</a></h2>
 <li><a href="https://www.youtube.com/watch?v=f4kBUe2n0Qk">zkEVMOS - Bridges and Interoperability</a></li>
 <li><a href="https://medium.com/@ingonyama/bridging-the-multichain-universe-with-zero-knowledge-proofs-6157464fbc86">Bridging the blockchain multiverse with ZKP</a></li>
 <li><a href="https://wdai.us/posts/navigating-privacy/">Navigating privacy on Blockchains - Wei Dai</a></li>
-<li><a href="https://vitalik.ca/general/2022/11/19/proof_of_solvency.html">Having a safe CEX: proof of solvency and beyond</a></li>
+<li><a href="https://vitalik.eth.limo/general/2022/11/19/proof_of_solvency.html">Having a safe CEX: proof of solvency and beyond</a></li>
 </ul>
 <h2 id="client-side"><a class="header" href="#client-side">Client side</a></h2>
 <ul>

fft.html

@@ -183,7 +183,7 @@ <h1 class="menu-title">Ingopedia</h1>
 <h1 id="discrete-fourier-transforms"><a class="header" href="#discrete-fourier-transforms">Discrete Fourier Transforms</a></h1>
 <h2 id="algorithms-and-methods"><a class="header" href="#algorithms-and-methods">Algorithms and methods</a></h2>
 <ul>
-<li><a href="https://vitalik.ca/general/2019/05/12/fft.html">FFT - Vitalik</a></li>
+<li><a href="https://vitalik.eth.limo/general/2019/05/12/fft.html">FFT - Vitalik</a></li>
 <li><a href="https://ethresear.ch/t/reed-solomon-erasure-code-recovery-in-n-log-2-n-time-with-ffts/3039">Reed-Solomon code: Vitalik</a></li>
 <li><a href="https://www.csee.umbc.edu/~phatak/691a/fft-lnotes/fftnotes.pdf">FFT Notes</a></li>
 <li><a href="https://www.ams.org/journals/mcom/1971-25-114/S0025-5718-1971-0301966-0/S0025-5718-1971-0301966-0.pdf">The Fast Fourier Transform in a Finite Field - Pollard</a></li>

print.html

@@ -482,7 +482,7 @@ <h2 id="beginner"><a class="header" href="#beginner">Beginner</a></h2>
 </ul>
 <h2 id="intermediate"><a class="header" href="#intermediate">Intermediate</a></h2>
 <ul>
-<li><a href="https://vitalik.ca/general/2021/01/26/snarks.html">An introduction to how zk snarks are possible - Vitalik</a></li>
+<li><a href="https://vitalik.eth.limo/general/2021/01/26/snarks.html">An introduction to how zk snarks are possible - Vitalik</a></li>
 <li><a href="http://www.zeroknowledgeblog.com/index.php">Zk blog</a></li>
 <li><a href="https://www.notamonadtutorial.com/math-survival-kit-for-developers/">Math survival kit for zk developers - lambdaclass</a></li>
 <li><a href="https://www.zkcamp.xyz/blog/you-cant-understand-zkps-without-understanding-polynomials">Understanding polynomials</a></li>
@@ -501,7 +501,7 @@ <h2 id="advanced"><a class="header" href="#advanced">Advanced</a></h2>
 <li><a href="https://blog.cryptographyengineering.com/2017/01/21/zero-knowledge-proofs-an-illustrated-primer-part-2/">Zk_primer_2 M.Green</a></li>
 <li><a href="https://www.wisdom.weizmann.ac.il/~oded/PS/zk-tut10.ps">Zero Knowledge: A tutorial by Oded Goldreich</a></li>
 <li><a href="https://www.win.tue.nl/~berry/CryptographicProtocols/LectureNotes.pdf">Cryptographic Protocls: lectures</a></li>
-<li><a href="https://vitalik.ca/general/2022/06/15/using_snarks.html">Using zkSnarks for privacy: Vitalik</a></li>
+<li><a href="https://vitalik.eth.limo/general/2022/06/15/using_snarks.html">Using zkSnarks for privacy: Vitalik</a></li>
 <li><a href="https://consensys.net/blog/blockchain-explained/zero-knowledge-proofs-starks-vs-snarks/">STARK vs SNARK</a></li>
 <li><a href="https://ethereum.stackexchange.com/questions/59145/zk-snarks-vs-zk-starks-vs-bulletproofs-updated/63778#63778">SNARK vs STARK vs Bulletproofs</a></li>
 <li><a href="https://zkproof.org/2020/08/12/information-theoretic-proof-systems/">ZKp from Information theoretic Proof systems 1 - Yuval Ishai</a></li>
@@ -676,7 +676,7 @@ <h1 id="zksnarks-1"><a class="header" href="#zksnarks-1">ZKSNARKS</a></h1>
 <hr />
 <h2 id="trusted-setup"><a class="header" href="#trusted-setup">Trusted Setup</a></h2>
 <ul>
-<li><a href="https://vitalik.ca/general/2022/03/14/trustedsetup.html">Introduction -Vitalik</a></li>
+<li><a href="https://vitalik.eth.limo/general/2022/03/14/trustedsetup.html">Introduction -Vitalik</a></li>
 <li><a href="https://medium.com/aztec-protocol/aztec-how-the-ceremony-works-9f021cf190d0">Aztec Ceremony</a></li>
 <li><a href="https://zeroknowledge.fm/the-power-of-tau-or-how-i-learned-to-stop-worrying-and-love-the-setup/">Trusted setup - Tau</a></li>
 <li><a href="https://zkproof.org/2021/06/30/setup-ceremonies/">Setup ceremonies</a></li>
@@ -720,9 +720,9 @@ <h2 id="stark-tutorials"><a class="header" href="#stark-tutorials">Stark tutoria
 <ul>
 <li><strong>Vitalik</strong>
 <ul>
-<li><a href="https://vitalik.ca/general/2017/11/09/starks_part_1.html">Starks 1 proofs with polynomials</a></li>
-<li><a href="https://vitalik.ca/general/2017/11/22/starks_part_2.html">Starks 2</a></li>
-<li><a href="https://vitalik.ca/general/2018/07/21/starks_part_3.html">Starks 3</a></li>
+<li><a href="https://vitalik.eth.limo/general/2017/11/09/starks_part_1.html">Starks 1 proofs with polynomials</a></li>
+<li><a href="https://vitalik.eth.limo/general/2017/11/22/starks_part_2.html">Starks 2</a></li>
+<li><a href="https://vitalik.eth.limo/general/2018/07/21/starks_part_3.html">Starks 3</a></li>
 </ul>
 </li>
 <li><strong>Stark math series</strong>
@@ -800,7 +800,7 @@ <h2 id="zk-rollups-evmsvms"><a class="header" href="#zk-rollups-evmsvms">ZK Roll
 <li><a href="https://ethworks.io/assets/download/zero-knowledge-blockchain-scaling-ethworks.pdf">Ethworks: Blockchain scaling</a></li>
 <li><a href="https://hackmd.io/QkOUJ-UJQ-CJ7cs_yx6_GA">Ethereum-powered ZK-Rollups: World Beaters</a></li>
 <li><a href="https://www.taurushq.com/insights/20220131_Taurus_scalability_L2_part1/EthereumL2_Scalability_part1.pdf">Ethereum - Scalability</a></li>
-<li><a href="https://vitalik.ca/general/2021/01/05/rollup.html#:~:text=One%20important%20compression,SNARKs%20are%20valid.">Zk rollups an incomplete guide</a></li>
+<li><a href="https://vitalik.eth.limo/general/2021/01/05/rollup.html#:~:text=One%20important%20compression,SNARKs%20are%20valid.">Zk rollups an incomplete guide</a></li>
 <li><a href="https://hackmd.io/SzneKXSWRJ6yJxzgFm9MwQ?view">Decentralized zk-Rollup</a></li>
 <li><a href="https://limechain.tech/blog/optimistic-rollups-vs-zk-rollups/">Zk rollups popular</a></li>
 <li><a href="https://ethereum.org/ph/developers/docs/scaling/zk-rollups/">Ethereum: Zk rollups</a></li>
@@ -863,7 +863,7 @@ <h2 id="zk-bridges"><a class="header" href="#zk-bridges">ZK bridges</a></h2>
 <li><a href="https://www.youtube.com/watch?v=f4kBUe2n0Qk">zkEVMOS - Bridges and Interoperability</a></li>
 <li><a href="https://medium.com/@ingonyama/bridging-the-multichain-universe-with-zero-knowledge-proofs-6157464fbc86">Bridging the blockchain multiverse with ZKP</a></li>
 <li><a href="https://wdai.us/posts/navigating-privacy/">Navigating privacy on Blockchains - Wei Dai</a></li>
-<li><a href="https://vitalik.ca/general/2022/11/19/proof_of_solvency.html">Having a safe CEX: proof of solvency and beyond</a></li>
+<li><a href="https://vitalik.eth.limo/general/2022/11/19/proof_of_solvency.html">Having a safe CEX: proof of solvency and beyond</a></li>
 </ul>
 <h2 id="client-side"><a class="header" href="#client-side">Client side</a></h2>
 <ul>
@@ -1137,7 +1137,7 @@ <h1 id="snark-protocols-1"><a class="header" href="#snark-protocols-1">SNARK Pro
 <tr><td style="text-align: center">xjSNARK - 2018</td><td><a href="https://akosba.github.io/papers/xjsnark.pdf"> →📝</a></td><td style="text-align: center"></td><td style="text-align: center"></td><td style="text-align: center">❌</td><td style="text-align: center">❌</td></tr>
 <tr><td style="text-align: center">Hyrax - 2018</td><td><a href="https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&amp;arnumber=8418646"> →📝</a></td><td style="text-align: center"></td><td style="text-align: center"></td><td style="text-align: center"></td><td style="text-align: center"></td></tr>
 <tr><td style="text-align: center">Sonic - 2019</td><td><a href="https://eprint.iacr.org/2019/099.pdf"> →📝</a></td><td style="text-align: center"></td><td style="text-align: center"><a href="https://www.benthamsgaze.org/2019/02/07/introducing-sonic-a-practical-zk-snark-with-a-nearly-trustless-setup/">Benthams Gaze</a></td><td style="text-align: center">✅</td><td style="text-align: center">❌</td></tr>
-<tr><td style="text-align: center">Plonk - 2019</td><td><a href="https://eprint.iacr.org/2019/953.pdf"> →📝</a></td><td style="text-align: center"><ul><li>heliaxdev<a href="https://github.com/heliaxdev/plonk">[1]</a></li><li>kobigurk<a href="https://github.com/kobigurk/plonk/tree/kobigurk/port_to_zexe">[2]</a></li><li>ZK-Garage<a href="https://github.com/ZK-Garage/plonk">[3]</a></li><li>dusk-network<a href="https://github.com/dusk-network/plonk">[4]</a></li><li>Jellyfish (Includes Plookup)<a href="https://github.com/EspressoSystems/jellyfish">[5]</a></td><td style="text-align: center"><ul><li>Plonk high level summary<a href="https://www.smartcontractresearch.org/t/research-summary-plonk-permutations-over-lagrange-bases-for-oecumenical-noninteractive-arguments-of-knowledge/382">[1]</a></li><li>Talk: Ariel Gabizon<a href="https://www.youtube.com/watch?v=dHo56MhQlHk">[2]</a></li><li>Talk: Zac Williamson<a href="https://www.youtube.com/watch?v=ty-LZf0YCK0">[3]</a> </li><li>Understanding Plonk - Vitalik<a href="https://vitalik.ca/general/2019/09/22/plonk.html">[4]</a></li><li>From AIRs to RAPs - how PLONK-style arithmetization works<a href="https://hackmd.io/@aztec-network/plonk-arithmetiization-air#How-does-all-this-relate-to-R1CS">[5]</a></li><li>Custom gates on plonk -Do whatever<a href="https://kobi.one/2021/05/20/plonk-custom-gates.html">[7]</a></li><li>Plonk Cafe<a href="https://www.plonk.cafe/top">[8]</a></li><li>Plonk: Anatomy of a proof generation: Scroll<a href="https://scroll.io/blog/proofGeneration#heading-22">[9]</a></li><li>Resource: Plonk by hand -1 Metastate<a href="https://research.metastate.dev/plonk-by-hand-part-1/">[10.1]</a></li><li>Resource: Plonk by hand -2 Metastate<a href="https://research.metastate.dev/plonk-by-hand-part-2-the-proof/">[10.2]</a></li><li>Resource: Plonk by hand -3 Metastate<a href="https://research.metastate.dev/plonk-by-hand-part-3-verification/">[10.3]</a> </li><li>Resource: Plonk and Plookup Metastate<a href="https://research.metastate.dev/on-plonk-and-plookup/">[10.4]</a></li><li>Turboplonk<a href="https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-turbo_plonk.pdf">[11]</a></li><li>Custom gates in plonk<a href="https://www.plonk.cafe/t/details-of-custom-gate/122">[12]</a></li><li>Plonk: Thomas Piellard<a href="https://hackmd.io/@gnark/plonk">[13]</a></li><li>ZKP intro to Plonk - Star Li<a href="https://trapdoortech.medium.com/zkp-plonk-algorithm-introduction-834556a32a">[14]</a></li><li>Multi set checks in Plonk and Plookup: Gabizon<a href="https://hackmd.io/@arielg/ByFgSDA7D">[15]</a></li><li>Plonk - Kimchi: Mina Protocol<a href="https://eng-blog.o1labs.org/posts/plonk/">[16.1]</a></li><li>Kimchi<a href="https://minaprotocol.com/blog/kimchi-the-latest-update-to-minas-proof-system">[16.2]</a></li><li>Plonk not a monad tutorial<a href="https://blog.lambdaclass.com/all-you-wanted-to-know-about-plonk/?utm_source=substack&amp;utm_medium=email">[17]</a></td><td style="text-align: center">✅</td><td style="text-align: center">❌</td></tr>
+<tr><td style="text-align: center">Plonk - 2019</td><td><a href="https://eprint.iacr.org/2019/953.pdf"> →📝</a></td><td style="text-align: center"><ul><li>heliaxdev<a href="https://github.com/heliaxdev/plonk">[1]</a></li><li>kobigurk<a href="https://github.com/kobigurk/plonk/tree/kobigurk/port_to_zexe">[2]</a></li><li>ZK-Garage<a href="https://github.com/ZK-Garage/plonk">[3]</a></li><li>dusk-network<a href="https://github.com/dusk-network/plonk">[4]</a></li><li>Jellyfish (Includes Plookup)<a href="https://github.com/EspressoSystems/jellyfish">[5]</a></td><td style="text-align: center"><ul><li>Plonk high level summary<a href="https://www.smartcontractresearch.org/t/research-summary-plonk-permutations-over-lagrange-bases-for-oecumenical-noninteractive-arguments-of-knowledge/382">[1]</a></li><li>Talk: Ariel Gabizon<a href="https://www.youtube.com/watch?v=dHo56MhQlHk">[2]</a></li><li>Talk: Zac Williamson<a href="https://www.youtube.com/watch?v=ty-LZf0YCK0">[3]</a> </li><li>Understanding Plonk - Vitalik<a href="https://vitalik.eth.limo/general/2019/09/22/plonk.html">[4]</a></li><li>From AIRs to RAPs - how PLONK-style arithmetization works<a href="https://hackmd.io/@aztec-network/plonk-arithmetiization-air#How-does-all-this-relate-to-R1CS">[5]</a></li><li>Custom gates on plonk -Do whatever<a href="https://kobi.one/2021/05/20/plonk-custom-gates.html">[7]</a></li><li>Plonk Cafe<a href="https://www.plonk.cafe/top">[8]</a></li><li>Plonk: Anatomy of a proof generation: Scroll<a href="https://scroll.io/blog/proofGeneration#heading-22">[9]</a></li><li>Resource: Plonk by hand -1 Metastate<a href="https://research.metastate.dev/plonk-by-hand-part-1/">[10.1]</a></li><li>Resource: Plonk by hand -2 Metastate<a href="https://research.metastate.dev/plonk-by-hand-part-2-the-proof/">[10.2]</a></li><li>Resource: Plonk by hand -3 Metastate<a href="https://research.metastate.dev/plonk-by-hand-part-3-verification/">[10.3]</a> </li><li>Resource: Plonk and Plookup Metastate<a href="https://research.metastate.dev/on-plonk-and-plookup/">[10.4]</a></li><li>Turboplonk<a href="https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-turbo_plonk.pdf">[11]</a></li><li>Custom gates in plonk<a href="https://www.plonk.cafe/t/details-of-custom-gate/122">[12]</a></li><li>Plonk: Thomas Piellard<a href="https://hackmd.io/@gnark/plonk">[13]</a></li><li>ZKP intro to Plonk - Star Li<a href="https://trapdoortech.medium.com/zkp-plonk-algorithm-introduction-834556a32a">[14]</a></li><li>Multi set checks in Plonk and Plookup: Gabizon<a href="https://hackmd.io/@arielg/ByFgSDA7D">[15]</a></li><li>Plonk - Kimchi: Mina Protocol<a href="https://eng-blog.o1labs.org/posts/plonk/">[16.1]</a></li><li>Kimchi<a href="https://minaprotocol.com/blog/kimchi-the-latest-update-to-minas-proof-system">[16.2]</a></li><li>Plonk not a monad tutorial<a href="https://blog.lambdaclass.com/all-you-wanted-to-know-about-plonk/?utm_source=substack&amp;utm_medium=email">[17]</a></td><td style="text-align: center">✅</td><td style="text-align: center">❌</td></tr>
 <tr><td style="text-align: center">Redshift - 2019</td><td><a href="https://eprint.iacr.org/2019/1400"> →📝</a></td><td style="text-align: center"><a href="https://www.smartcontractresearch.org/t/research-summary-redshift-transparent-snarks-from-list-polynominal-commitment-iops/344">Redhsift Summary</a></td><td style="text-align: center"></td><td style="text-align: center"></td><td style="text-align: center"></td></tr>
 <tr><td style="text-align: center">Spartan - 2019</td><td><a href="https://eprint.iacr.org/2019/550.pdf"> →📝</a></td><td style="text-align: center"><a href="https://github.com/microsoft/Spartan">Microsoft</a></td><td style="text-align: center"></td><td style="text-align: center"></td><td style="text-align: center"></td></tr>
 <tr><td style="text-align: center">Halo - 2019</td><td><a href="https://eprint.iacr.org/2019/1021.pdf"> →📝</a></td><td style="text-align: center"></td><td style="text-align: center"></td><td style="text-align: center">✅</td><td style="text-align: center">✅</td></tr>
@@ -1691,7 +1691,7 @@ <h2 id="tee-and-confidential-computing"><a class="header" href="#tee-and-confide
 <h1 id="discrete-fourier-transforms"><a class="header" href="#discrete-fourier-transforms">Discrete Fourier Transforms</a></h1>
 <h2 id="algorithms-and-methods"><a class="header" href="#algorithms-and-methods">Algorithms and methods</a></h2>
 <ul>
-<li><a href="https://vitalik.ca/general/2019/05/12/fft.html">FFT - Vitalik</a></li>
+<li><a href="https://vitalik.eth.limo/general/2019/05/12/fft.html">FFT - Vitalik</a></li>
 <li><a href="https://ethresear.ch/t/reed-solomon-erasure-code-recovery-in-n-log-2-n-time-with-ffts/3039">Reed-Solomon code: Vitalik</a></li>
 <li><a href="https://www.csee.umbc.edu/~phatak/691a/fft-lnotes/fftnotes.pdf">FFT Notes</a></li>
 <li><a href="https://www.ams.org/journals/mcom/1971-25-114/S0025-5718-1971-0301966-0/S0025-5718-1971-0301966-0.pdf">The Fast Fourier Transform in a Finite Field - Pollard</a></li>