https://arkana.blog/en/ Cryptography, blockchain and mathematics, explained clearly. en https://arkana.blog/en/blog/the-zk-chronicles/snarks-part-2/ https://arkana.blog/en/blog/the-zk-chronicles/snarks-part-2/ Wed, 15 Jul 2026 00:00:00 GMT We now look at a second technique to build SNARKs that aims to fix some of the shortcomings in our previous exploration. https://arkana.blog/en/blog/the-zk-chronicles/snarks-part-1/ https://arkana.blog/en/blog/the-zk-chronicles/snarks-part-1/ Fri, 10 Jul 2026 00:00:00 GMT All the pieces are finally in place. Time to build our first real zk-SNARK. https://arkana.blog/en/blog/the-zk-chronicles/arithmetization/ https://arkana.blog/en/blog/the-zk-chronicles/arithmetization/ Mon, 22 Jun 2026 00:00:00 GMT A look at the bridge between the representation layer of problems, and the proving layer. https://arkana.blog/en/blog/the-zk-chronicles/the-random-oracle-model/ https://arkana.blog/en/blog/the-zk-chronicles/the-random-oracle-model/ Sun, 07 Jun 2026 00:00:00 GMT Now that we understand zero knowledge, we must take some time to inspect how it fares under non-interactivity. https://arkana.blog/en/blog/the-zk-chronicles/zero-knowledge/ https://arkana.blog/en/blog/the-zk-chronicles/zero-knowledge/ Fri, 15 May 2026 00:00:00 GMT It's finally time to formalize what "zero knowledge" truly means https://arkana.blog/en/blog/wtf-is/entropy/ https://arkana.blog/en/blog/wtf-is/entropy/ Wed, 06 May 2026 00:00:00 GMT We explore the mysterious and misunderstood concept of entropy, and discover how it pops up in unexpected places. https://arkana.blog/en/blog/the-zk-chronicles/inner-product-arguments/ https://arkana.blog/en/blog/the-zk-chronicles/inner-product-arguments/ Wed, 22 Apr 2026 00:00:00 GMT The next step in our journey will see us looking at a new and important commitment mechanism, designed for polynomials https://arkana.blog/en/blog/the-zk-chronicles/commitment-schemes-part-2/ https://arkana.blog/en/blog/the-zk-chronicles/commitment-schemes-part-2/ Tue, 07 Apr 2026 00:00:00 GMT The next step in our journey will see us looking at a new and important commitment mechanism, designed for polynomials https://arkana.blog/en/blog/the-zk-chronicles/fast-fourier-transform/ https://arkana.blog/en/blog/the-zk-chronicles/fast-fourier-transform/ Wed, 01 Apr 2026 00:00:00 GMT Before we go on any further, we must stop and take a look at one of the most important algorithms enabling most of the things we're doing https://arkana.blog/en/blog/the-zk-chronicles/sigma-protocols/ https://arkana.blog/en/blog/the-zk-chronicles/sigma-protocols/ Mon, 23 Mar 2026 00:00:00 GMT With commitment schemes at hand, we turn our attention once again to proving systems https://arkana.blog/en/blog/the-zk-chronicles/commitment-schemes-part-1/ https://arkana.blog/en/blog/the-zk-chronicles/commitment-schemes-part-1/ Sun, 08 Mar 2026 00:00:00 GMT Time to start building on top of the primitives we know so far! https://arkana.blog/en/blog/the-zk-chronicles/groups/ https://arkana.blog/en/blog/the-zk-chronicles/groups/ Mon, 02 Mar 2026 00:00:00 GMT After stocking up with hashes, now's time for another big protagonist of this ZK story! https://arkana.blog/en/blog/the-zk-chronicles/enter-hashing/ https://arkana.blog/en/blog/the-zk-chronicles/enter-hashing/ Tue, 17 Feb 2026 00:00:00 GMT Time for hashes to take the stage, bringing along a few cool tricks! https://arkana.blog/en/blog/the-zk-chronicles/computation-models/ https://arkana.blog/en/blog/the-zk-chronicles/computation-models/ Wed, 04 Feb 2026 00:00:00 GMT A broader look at the connection between different computation models, and the importance of arithmetic circuits https://arkana.blog/en/blog/the-zk-chronicles/circuits-part-2/ https://arkana.blog/en/blog/the-zk-chronicles/circuits-part-2/ Sat, 24 Jan 2026 00:00:00 GMT We now move forward to our first truly general computation correctness proving mechanism! https://arkana.blog/en/blog/blockchain-101/evolving-a-blockchain/ https://arkana.blog/en/blog/blockchain-101/evolving-a-blockchain/ Fri, 16 Jan 2026 00:00:00 GMT To close things off, we look at a few important guidelines to upgrading an already-running Blockchain! https://arkana.blog/en/blog/blockchain-101/handling-data/ https://arkana.blog/en/blog/blockchain-101/handling-data/ Wed, 14 Jan 2026 00:00:00 GMT How do we handle data in Blockchain? What sort of problems may we face? https://arkana.blog/en/blog/the-zk-chronicles/multilinear-extensions/ https://arkana.blog/en/blog/the-zk-chronicles/multilinear-extensions/ Fri, 26 Dec 2025 00:00:00 GMT Before moving onto new proving systems, we must introduce a very necessary tool! https://arkana.blog/en/blog/the-zk-chronicles/circuits-part-1/ https://arkana.blog/en/blog/the-zk-chronicles/circuits-part-1/ Mon, 08 Dec 2025 00:00:00 GMT As we get closer to general proving systems, we are required to look at computation models, which brings us to circuits! https://arkana.blog/en/blog/the-zk-chronicles/sum-check/ https://arkana.blog/en/blog/the-zk-chronicles/sum-check/ Tue, 25 Nov 2025 00:00:00 GMT Equipped with finite fields and polynomials, it’s time to take a look at our very first proving system! https://arkana.blog/en/blog/the-zk-chronicles/math-foundations/ https://arkana.blog/en/blog/the-zk-chronicles/math-foundations/ Tue, 18 Nov 2025 00:00:00 GMT Time for our first basic mathematical concepts! https://arkana.blog/en/blog/the-zk-chronicles/first-steps/ https://arkana.blog/en/blog/the-zk-chronicles/first-steps/ Mon, 10 Nov 2025 00:00:00 GMT We embark on a new journey solely dedicated to ZK technology! https://arkana.blog/en/blog/elliptic-curves-in-depth/part-10/ https://arkana.blog/en/blog/elliptic-curves-in-depth/part-10/ Tue, 28 Oct 2025 00:00:00 GMT To wrap up the series, we take a look at a few practical aspects, and present some of the most studied elliptic curves out there. https://arkana.blog/en/blog/blockchain-101/zk-in-blockchain/ https://arkana.blog/en/blog/blockchain-101/zk-in-blockchain/ Wed, 15 Oct 2025 00:00:00 GMT Moving on from Polkadot, we now cover the intersection between two cutting edge technologies: blockchain and zero knowledge proofs https://arkana.blog/en/blog/elliptic-curves-in-depth/part-9/ https://arkana.blog/en/blog/elliptic-curves-in-depth/part-9/ Mon, 06 Oct 2025 00:00:00 GMT A wrap-up on pairings, with some discussions around algorithms, types, and other nuances. https://arkana.blog/en/blog/blockchain-101/jam/ https://arkana.blog/en/blog/blockchain-101/jam/ Tue, 23 Sep 2025 00:00:00 GMT To close off our chapter in Polkadot, we’ll have to talk about its latest development: JAM. https://arkana.blog/en/blog/blockchain-101/coretime/ https://arkana.blog/en/blog/blockchain-101/coretime/ Mon, 01 Sep 2025 00:00:00 GMT Accessing Polkadot’s validation resources can be done through a novel way to pay for Blockchain usage: Coretime. https://arkana.blog/en/blog/blockchain-101/polkadot-consensus/ https://arkana.blog/en/blog/blockchain-101/polkadot-consensus/ Wed, 13 Aug 2025 00:00:00 GMT Next in our Polkadot exploration, we focus on its rich consensus mechanism — and its satellite features. https://arkana.blog/en/blog/blockchain-101/polkadot/ https://arkana.blog/en/blog/blockchain-101/polkadot/ Tue, 05 Aug 2025 00:00:00 GMT It’s finally time to uncover the secrets of a personal favorite: Polkadot https://arkana.blog/en/blog/blockchain-101/beyond-the-blockchain-part-2/ https://arkana.blog/en/blog/blockchain-101/beyond-the-blockchain-part-2/ Fri, 01 Aug 2025 00:00:00 GMT Continuing with the radical ideas, we know turn our attention to replacing the Blockchain itself — with a DAG!