update index.html contents, move notes.html to root dir
arnaucube git@arnaucube.com
Mon, 12 Oct 2026 11:13:55 +0200
21 files changed,
251 insertions(+),
286 deletions(-)
jump to
M
blog/ai-connections.html
→
blog/ai-connections.html
@@ -46,7 +46,7 @@ <div class="container">
<div style="float:left;"> <a href="/blog" style="color:#000;display:inline-block;">blog</a> <span style="margin-right:20px; margin-left:20px;">|</span> - <a href="/blog/notes.html" style="font-size:90%;color:#000;display:inline-block;">notes</a> + <a href="/notes.html" style="font-size:90%;color:#000;display:inline-block;">notes</a> </div> <div style="float:right;"> <a href="/" style="color:#000;display:inline-block;margin-right:10px;">arnaucube.com</a>
M
blog/blind-signatures-ec.html
→
blog/blind-signatures-ec.html
@@ -46,7 +46,7 @@ <div class="container">
<div style="float:left;"> <a href="/blog" style="color:#000;display:inline-block;">blog</a> <span style="margin-right:20px; margin-left:20px;">|</span> - <a href="/blog/notes.html" style="font-size:90%;color:#000;display:inline-block;">notes</a> + <a href="/notes.html" style="font-size:90%;color:#000;display:inline-block;">notes</a> </div> <div style="float:right;"> <a href="/" style="color:#000;display:inline-block;margin-right:10px;">arnaucube.com</a>
M
blog/blogo.html
→
blog/blogo.html
@@ -46,7 +46,7 @@ <div class="container">
<div style="float:left;"> <a href="/blog" style="color:#000;display:inline-block;">blog</a> <span style="margin-right:20px; margin-left:20px;">|</span> - <a href="/blog/notes.html" style="font-size:90%;color:#000;display:inline-block;">notes</a> + <a href="/notes.html" style="font-size:90%;color:#000;display:inline-block;">notes</a> </div> <div style="float:right;"> <a href="/" style="color:#000;display:inline-block;margin-right:10px;">arnaucube.com</a>
M
blog/coffeeminer-hacking-wifi-cryptocurrency-miner.html
→
blog/coffeeminer-hacking-wifi-cryptocurrency-miner.html
@@ -46,7 +46,7 @@ <div class="container">
<div style="float:left;"> <a href="/blog" style="color:#000;display:inline-block;">blog</a> <span style="margin-right:20px; margin-left:20px;">|</span> - <a href="/blog/notes.html" style="font-size:90%;color:#000;display:inline-block;">notes</a> + <a href="/notes.html" style="font-size:90%;color:#000;display:inline-block;">notes</a> </div> <div style="float:right;"> <a href="/" style="color:#000;display:inline-block;margin-right:10px;">arnaucube.com</a>
M
blog/flock-botnet.html
→
blog/flock-botnet.html
@@ -46,7 +46,7 @@ <div class="container">
<div style="float:left;"> <a href="/blog" style="color:#000;display:inline-block;">blog</a> <span style="margin-right:20px; margin-left:20px;">|</span> - <a href="/blog/notes.html" style="font-size:90%;color:#000;display:inline-block;">notes</a> + <a href="/notes.html" style="font-size:90%;color:#000;display:inline-block;">notes</a> </div> <div style="float:right;"> <a href="/" style="color:#000;display:inline-block;margin-right:10px;">arnaucube.com</a>
M
blog/index.html
→
blog/index.html
@@ -46,7 +46,7 @@ <div class="container">
<div style="float:left;"> <a href="/blog" style="color:#000;display:inline-block;">blog</a> <span style="margin-right:20px; margin-left:20px;">|</span> - <a href="/blog/notes.html" style="font-size:90%;color:#000;display:inline-block;">notes</a> + <a href="/notes.html" style="font-size:90%;color:#000;display:inline-block;">notes</a> </div> <div style="float:right;"> <a href="/" style="color:#000;display:inline-block;margin-right:10px;">arnaucube.com</a>@@ -86,6 +86,15 @@
<p>A non-exhaustive overview of tools I use daily.</p> <p><em>2026-06-08</em></p> + +</div> + +</a><a href='https://raw.githubusercontent.com/arnaucube/math/master/notes_hash-based-signatures.pdf'><div class="row postThumb"> + <h3>Notes on hash-based signatures (pdf)</h3> + +<p>This document contains notes on (post-quantum) hash-based signatures (WOTS+, HORST, SPHINCS, XMSS).</p> + +<p><em>2025-12-27</em></p> </div>
M
blog/ipa.html
→
blog/ipa.html
@@ -46,7 +46,7 @@ <div class="container">
<div style="float:left;"> <a href="/blog" style="color:#000;display:inline-block;">blog</a> <span style="margin-right:20px; margin-left:20px;">|</span> - <a href="/blog/notes.html" style="font-size:90%;color:#000;display:inline-block;">notes</a> + <a href="/notes.html" style="font-size:90%;color:#000;display:inline-block;">notes</a> </div> <div style="float:right;"> <a href="/" style="color:#000;display:inline-block;margin-right:10px;">arnaucube.com</a>
M
blog/kzg-batch-proof.html
→
blog/kzg-batch-proof.html
@@ -46,7 +46,7 @@ <div class="container">
<div style="float:left;"> <a href="/blog" style="color:#000;display:inline-block;">blog</a> <span style="margin-right:20px; margin-left:20px;">|</span> - <a href="/blog/notes.html" style="font-size:90%;color:#000;display:inline-block;">notes</a> + <a href="/notes.html" style="font-size:90%;color:#000;display:inline-block;">notes</a> </div> <div style="float:right;"> <a href="/" style="color:#000;display:inline-block;margin-right:10px;">arnaucube.com</a>
M
blog/kzg-commitments.html
→
blog/kzg-commitments.html
@@ -46,7 +46,7 @@ <div class="container">
<div style="float:left;"> <a href="/blog" style="color:#000;display:inline-block;">blog</a> <span style="margin-right:20px; margin-left:20px;">|</span> - <a href="/blog/notes.html" style="font-size:90%;color:#000;display:inline-block;">notes</a> + <a href="/notes.html" style="font-size:90%;color:#000;display:inline-block;">notes</a> </div> <div style="float:right;"> <a href="/" style="color:#000;display:inline-block;margin-right:10px;">arnaucube.com</a>
M
blog/labrador.html
→
blog/labrador.html
@@ -46,7 +46,7 @@ <div class="container">
<div style="float:left;"> <a href="/blog" style="color:#000;display:inline-block;">blog</a> <span style="margin-right:20px; margin-left:20px;">|</span> - <a href="/blog/notes.html" style="font-size:90%;color:#000;display:inline-block;">notes</a> + <a href="/notes.html" style="font-size:90%;color:#000;display:inline-block;">notes</a> </div> <div style="float:right;"> <a href="/" style="color:#000;display:inline-block;margin-right:10px;">arnaucube.com</a>
D
blog/notes.html
@@ -1,170 +0,0 @@
-<!DOCTYPE html> -<html lang="en"> - - <head> - <meta name="description" content="[blogo-summary]" /> - <meta charset="utf-8"> - <title>Notes</title> - <meta name="title" content="Notes"> - <meta name="description" content="Notes"> - - <meta name="author" content="arnaucube"> - - <link rel="icon" type="image/png" href="img/logoArnauCubeFavicon.png"> - - <meta name="viewport" content="width=device-width, initial-scale=1"> - - <link href="css/bootstrap.min.css" rel="stylesheet"> - <link rel="stylesheet" href="css/style.css"> - </head> - - <body> - - <!-- o_gradient_background" --> - <nav id="mainNav" class="navbar navbar-default navbar-fixed-top" - style="height:50px;font-size:100%;"> - <div class="container"> - <div style="float:left;"> - <a href="/blog" style="color:#000;display:inline-block;">blog</a> - <span style="margin-right:20px; margin-left:20px;">|</span> - <a href="/blog/notes.html" style="font-size:90%;color:#000;display:inline-block;">notes</a> - </div> - <div style="float:right;"> - <a href="/" style="color:#000;display:inline-block;">arnaucube.com</a> - <div class="onoffswitch" style="margin:10px;display:inline-block;" title="change theme"> - <input onclick="switchTheme()" type="checkbox" name="onoffswitch" class="onoffswitch-checkbox" - id="themeSwitcher"> - <label class="onoffswitch-label" for="themeSwitcher"></label> - </div> - </div> - </div> - <img style="height:5px; width:100%; margin-top:8px;" src="img/gradient-line.jpg" /> - </nav> - - - <div class="container" style="max-width:800px;"> - <br> - <div style="background:#cccccc; border:2px gray solid; padding:5px; width:80%;margin-left:auto; margin-right:auto; margin-bottom:5px;"> - <i>Note: this blog is human-written, no AI generated content.</i> - </div> - </div> - -<!-- in markdown which later is converted to html --> -<div id="markdown" class="container" style="margin-top:40px;max-width:800px;"> - -### Notes: -Usually while studying papers and books I take handwritten notes, this section contains some of them re-written to LaTeX. -The notes are not complete, don’t include all the steps neither the explanations neither most of the proofs. -I use these notes to revisit the concepts after some time of reading the paper. - -mathematics: - -- [Notes on "Abstract Algebra" book, by Charles C. Pinter](https://raw.githubusercontent.com/arnaucube/math/master/abstract-algebra-charles-pinter-notes.pdf) -- [Notes on Weil pairing](https://raw.githubusercontent.com/arnaucube/math/master/weil-pairing.pdf) -- [Notes on Galois Theory](https://raw.githubusercontent.com/arnaucube/math/master/galois-theory-notes.pdf) -- [Notes on Commutative Algebra](https://raw.githubusercontent.com/arnaucube/math/master/commutative-algebra-notes.pdf) -- [Notes on Algebraic Coding Theory](https://raw.githubusercontent.com/arnaucube/math/master/algebraic-coding-theory-notes.pdf) - - -in-between math & crypto: - -- [Notes on the DFT & FFT](https://raw.githubusercontent.com/arnaucube/math/master/fft-notes.pdf) -- [Notes on NTT](https://raw.githubusercontent.com/arnaucube/math/master/notes_ntt.pdf) -- [Notes on Reed-Solomon codes](https://raw.githubusercontent.com/arnaucube/math/master/notes_reed-solomon.pdf) - -cryptography: - - -- [Notes on Pinocchio and Groth16](https://raw.githubusercontent.com/arnaucube/math/master/pinocchio-groth16.pdf) -- [Notes on Caulk & Caulk+ papers](https://raw.githubusercontent.com/arnaucube/math/master/notes_caulk.pdf) -- [Notes on the BLS signatures](https://raw.githubusercontent.com/arnaucube/math/master/notes_bls-sig.pdf) -- [Notes on IPA from Halo paper](https://raw.githubusercontent.com/arnaucube/math/master/notes_halo.pdf) -- [Notes on Sonic paper](https://raw.githubusercontent.com/arnaucube/math/master/notes_sonic.pdf) -- [Notes on Sigma protocol and OR proofs](https://raw.githubusercontent.com/arnaucube/math/master/sigma-or-notes.pdf) -- [Notes on FRI and STIR](https://raw.githubusercontent.com/arnaucube/math/master/notes_fri_stir.pdf) -- [Notes on Spartan](https://raw.githubusercontent.com/arnaucube/math/master/notes_spartan.pdf) -- [Notes on Nova](https://raw.githubusercontent.com/arnaucube/math/master/notes_nova.pdf) -- [Notes on HyperNova](https://raw.githubusercontent.com/arnaucube/math/master/notes_hypernova.pdf) -</div> -<div class="container" style="margin-top:40px;max-width:800px;"> - <a href="img/notebooks.jpg" target="_blank"><img src="img/notebooks.jpg" style="max-width:80%;" /></a> -</div> - - - - <footer style="text-align:center; margin-top:100px;margin-bottom:50px;"> - <div class="container"> - <br> - <a href="/blog">Back to the blog</a> - <br><br> - <div class="row"> - <ul class="list-inline"> - <li><a href="https://twitter.com/arnaucube" - style="color:gray;text-decoration:none;" - target="_blank">twitter.com/arnaucube</a> - </li> - <li><a href="https://github.com/arnaucube" - style="color:gray;text-decoration:none;" - target="_blank">github.com/arnaucube</a> - </li> - </ul> - </div> - </div> - </footer> - - <script> - document.addEventListener("DOMContentLoaded", function() { - renderMathInElement(document.body, { - displayMode: false, - // customised options - // • auto-render specific keys, e.g.: - delimiters: [ - {left: '$$', right: '$$', display: true}, - {left: '$', right: '$', display: false}, - {left: "\\[", right: "\\]", display: true}, - {left: "\\(", right: "\\)", display: false}, - ], - // • rendering keys, e.g.: - throwOnError : true - }); - }); - - /// - let theme = localStorage.getItem("theme"); - if ((theme === "light-theme")||(theme==null)) { - theme = "light-theme"; - document.getElementById("themeSwitcher").checked = false; - } else if (theme === "dark-theme") { - theme = "dark-theme"; - document.getElementById("themeSwitcher").checked = true; - } - document.body.className = theme; - localStorage.setItem("theme", theme); - - function switchTheme() { - theme = localStorage.getItem("theme"); - if (theme === "light-theme") { - theme = "dark-theme"; - document.getElementById("themeSwitcher").checked = true; - } else { - theme = "light-theme"; - document.getElementById("themeSwitcher").checked = false; - } - document.body.className = theme; - localStorage.setItem("theme", theme); - - console.log(theme); - } - </script> - - <script src="js/drawdown.js"></script> - - <script> - let content = document.getElementById("markdown").innerHTML; - let md = markdown(content); - document.getElementById("markdown").innerHTML = md; - </script> - - <script src="js/external-links.js"></script> - </body> -</html>
M
blog/powersoftau.html
→
blog/powersoftau.html
@@ -46,7 +46,7 @@ <div class="container">
<div style="float:left;"> <a href="/blog" style="color:#000;display:inline-block;">blog</a> <span style="margin-right:20px; margin-left:20px;">|</span> - <a href="/blog/notes.html" style="font-size:90%;color:#000;display:inline-block;">notes</a> + <a href="/notes.html" style="font-size:90%;color:#000;display:inline-block;">notes</a> </div> <div style="float:right;"> <a href="/" style="color:#000;display:inline-block;margin-right:10px;">arnaucube.com</a>
M
blog/protogalaxy.html
→
blog/protogalaxy.html
@@ -46,7 +46,7 @@ <div class="container">
<div style="float:left;"> <a href="/blog" style="color:#000;display:inline-block;">blog</a> <span style="margin-right:20px; margin-left:20px;">|</span> - <a href="/blog/notes.html" style="font-size:90%;color:#000;display:inline-block;">notes</a> + <a href="/notes.html" style="font-size:90%;color:#000;display:inline-block;">notes</a> </div> <div style="float:right;"> <a href="/" style="color:#000;display:inline-block;margin-right:10px;">arnaucube.com</a>
M
blog/ringsig.html
→
blog/ringsig.html
@@ -46,7 +46,7 @@ <div class="container">
<div style="float:left;"> <a href="/blog" style="color:#000;display:inline-block;">blog</a> <span style="margin-right:20px; margin-left:20px;">|</span> - <a href="/blog/notes.html" style="font-size:90%;color:#000;display:inline-block;">notes</a> + <a href="/notes.html" style="font-size:90%;color:#000;display:inline-block;">notes</a> </div> <div style="float:right;"> <a href="/" style="color:#000;display:inline-block;margin-right:10px;">arnaucube.com</a>
M
blog/rss.xml
→
blog/rss.xml
@@ -19,6 +19,13 @@ <pubDate>Mon, 08 Jun 2026 00:00:00 +0000</pubDate>
<guid isPermaLink="true">https://arnaucube.com/blog/tools.html</guid> </item> <item> + <title>Notes on hash-based signatures (pdf)</title> + <link>https://raw.githubusercontent.com/arnaucube/math/master/notes_hash-based-signatures.pdf</link> + <description>This document contains notes on hash-based signatures (WOTS+, HORST, SPHINCS, XMSS)</description> + <pubDate>Sat, 27 Dec 2025 00:00:00 +0000</pubDate> + <guid isPermaLink="true">https://raw.githubusercontent.com/arnaucube/math/master/notes_hash-based-signatures.pdf</guid> + </item> + <item> <title>Human connections in the early days of AI</title> <link>https://arnaucube.com/blog/ai-connections.html</link> <description>A short note on aiccelerationism, hyperreality, and the recovery of human connections.</description>
M
blog/shamir-secret-sharing.html
→
blog/shamir-secret-sharing.html
@@ -46,7 +46,7 @@ <div class="container">
<div style="float:left;"> <a href="/blog" style="color:#000;display:inline-block;">blog</a> <span style="margin-right:20px; margin-left:20px;">|</span> - <a href="/blog/notes.html" style="font-size:90%;color:#000;display:inline-block;">notes</a> + <a href="/notes.html" style="font-size:90%;color:#000;display:inline-block;">notes</a> </div> <div style="float:right;"> <a href="/" style="color:#000;display:inline-block;margin-right:10px;">arnaucube.com</a>
M
blog/tools.html
→
blog/tools.html
@@ -46,7 +46,7 @@ <div class="container">
<div style="float:left;"> <a href="/blog" style="color:#000;display:inline-block;">blog</a> <span style="margin-right:20px; margin-left:20px;">|</span> - <a href="/blog/notes.html" style="font-size:90%;color:#000;display:inline-block;">notes</a> + <a href="/notes.html" style="font-size:90%;color:#000;display:inline-block;">notes</a> </div> <div style="float:right;"> <a href="/" style="color:#000;display:inline-block;margin-right:10px;">arnaucube.com</a>
M
blogo-input/blogo.json
→
blogo-input/blogo.json
@@ -9,12 +9,6 @@ "postThumbTemplate": "postThumbTemplate.html",
"metadescr": "arnaucube blog", "metaimg": "img/logoArnauCube.png", "posts": [ - { - "thumb": "hashsigs_thumb.md", - "metadescr": "This document contains notes on hash-based signatures (WOTS+, HORST, SPHINCS, XMSS)", - "outsideArticle": "https://raw.githubusercontent.com/arnaucube/math/master/notes_hash-based-signatures.pdf", - "date": "2025-12-27" - }, { "thumb": "labrador_thumb.md", "md": "labrador.md",@@ -27,6 +21,12 @@ "md": "tools.md",
"metadescr": "A non-exhaustive overview of tools I use daily.", "metaimg": "img/posts/tools/tools-preview.png", "date": "2026-06-08" + }, + { + "thumb": "hashsigs_thumb.md", + "metadescr": "This document contains notes on hash-based signatures (WOTS+, HORST, SPHINCS, XMSS)", + "outsideArticle": "https://raw.githubusercontent.com/arnaucube/math/master/notes_hash-based-signatures.pdf", + "date": "2025-12-27" }, { "thumb": "ai-connections_thumb.md",
M
blogo-input/index.html
→
blogo-input/index.html
@@ -45,7 +45,7 @@ <div class="container">
<div style="float:left;"> <a href="/blog" style="color:#000;display:inline-block;">blog</a> <span style="margin-right:20px; margin-left:20px;">|</span> - <a href="/blog/notes.html" style="font-size:90%;color:#000;display:inline-block;">notes</a> + <a href="/notes.html" style="font-size:90%;color:#000;display:inline-block;">notes</a> </div> <div style="float:right;"> <a href="/" style="color:#000;display:inline-block;margin-right:10px;">arnaucube.com</a>
M
blogo-input/notes.html
→
notes.html
@@ -14,8 +14,8 @@ <link rel="icon" type="image/png" href="img/logoArnauCubeFavicon.png">
<meta name="viewport" content="width=device-width, initial-scale=1"> - <link href="css/bootstrap.min.css" rel="stylesheet"> - <link rel="stylesheet" href="css/style.css"> + <link href="blog/css/bootstrap.min.css" rel="stylesheet"> + <link rel="stylesheet" href="blog/css/style.css"> </head> <body>@@ -27,7 +27,7 @@ <div class="container">
<div style="float:left;"> <a href="/blog" style="color:#000;display:inline-block;">blog</a> <span style="margin-right:20px; margin-left:20px;">|</span> - <a href="/blog/notes.html" style="font-size:90%;color:#000;display:inline-block;">notes</a> + <a href="/notes.html" style="font-size:90%;color:#000;display:inline-block;">notes</a> </div> <div style="float:right;"> <a href="/" style="color:#000;display:inline-block;">arnaucube.com</a>@@ -38,14 +38,14 @@ <label class="onoffswitch-label" for="themeSwitcher"></label>
</div> </div> </div> - <img style="height:5px; width:100%; margin-top:8px;" src="img/gradient-line.jpg" /> + <img style="height:5px; width:100%; margin-top:8px;" src="blog/img/gradient-line.jpg" /> </nav> <div class="container" style="max-width:800px;"> <br> <div style="background:#cccccc; border:2px gray solid; padding:5px; width:80%;margin-left:auto; margin-right:auto; margin-bottom:5px;"> - <i>Note: this blog is human-written, no AI generated content.</i> + <i>Note: the notes listed here are human-written, no AI generated content.</i> </div> </div>@@ -71,6 +71,7 @@
- [Notes on the DFT & FFT](https://raw.githubusercontent.com/arnaucube/math/master/fft-notes.pdf) - [Notes on NTT](https://raw.githubusercontent.com/arnaucube/math/master/notes_ntt.pdf) - [Notes on Reed-Solomon codes](https://raw.githubusercontent.com/arnaucube/math/master/notes_reed-solomon.pdf) +- [Notes on Lattices](https://raw.githubusercontent.com/arnaucube/math/master/lattices.pdf) cryptography:@@ -85,9 +86,10 @@ - [Notes on FRI and STIR](https://raw.githubusercontent.com/arnaucube/math/master/notes_fri_stir.pdf)
- [Notes on Spartan](https://raw.githubusercontent.com/arnaucube/math/master/notes_spartan.pdf) - [Notes on Nova](https://raw.githubusercontent.com/arnaucube/math/master/notes_nova.pdf) - [Notes on HyperNova](https://raw.githubusercontent.com/arnaucube/math/master/notes_hypernova.pdf) +- [Notes on hash based signatures](https://raw.githubusercontent.com/arnaucube/math/master/notes_hash-based-signatures.pdf) </div> <div class="container" style="margin-top:40px;max-width:800px;"> - <a href="img/notebooks.jpg" target="_blank"><img src="img/notebooks.jpg" style="max-width:80%;" /></a> + <a href="blog/img/notebooks.jpg" target="_blank"><img src="blog/img/notebooks.jpg" style="max-width:80%;" /></a> </div>@@ -157,7 +159,7 @@ console.log(theme);
} </script> - <script src="js/drawdown.js"></script> + <script src="blog/js/drawdown.js"></script> <script> let content = document.getElementById("markdown").innerHTML;@@ -165,6 +167,6 @@ let md = markdown(content);
document.getElementById("markdown").innerHTML = md; </script> - <script src="js/external-links.js"></script> + <script src="blog/js/external-links.js"></script> </body> </html>
M
index.html
→
index.html
@@ -149,11 +149,11 @@ </div>
<br> <div style="display:inline-block;max-width:500px; margin-left:10%;"> <!-- <div style="float:right; max-width:500px;"> --> - <p><b>arnaucube</b> - cryptography engineer</p> + <p><b>arnaucube</b> - Applied Cryptography & Systems Engineer</p> <span style="font-size:110%;"> <a href="/blog">blog</a> <span style="margin: 10px;">|</span> - <a href="/blog/notes.html">notes</a> + <a href="/notes.html">notes</a> <span style="margin: 10px;">|</span> <a href="https://github.com/arnaucube" target="_blank">github</a> <span style="font-style:italic;">(<a href="https://git.arnaucube.com/arnaucube?sort=moststars" target="_blank">git-mirror</a>)</span>@@ -164,15 +164,25 @@ </div>
<br><br> <div style="margin:30px;"> - Cryptography engineer with experience implementing cryptography protocols (zkSNARKs, hashes, ciphers, folding schemes, zk-circuits, ...). - On my free time I enjoy self-studying <a target="_blank" href="/blog/notes.html">some math topics</a>. + <p>I work on cryptographic protocols and security-related systems, across the boundary between cryptographic research and production engineering.</p> + <!-- <p>Over the past 8+ years I've worked on zero-knowledge proofs, folding schemes, digital identity, privacy protocols and infrastructure, primarily in Rust and Go.</p> --> + <p>My work includes + <ul> + <li>the core protocol and cryptographic stack of <b>iden3</b>,</li> + <li>the <b>Hermez zkRollup node</b> used for its mainnet launch,</li> + <li>privacy-preserving <b>voting protocols</b> using zero-knowledge proofs and blind signatures at Aragon & Vocdoni,</li> + <li>and, most recently, <b>Sonobe</b>, a modular implementation of (zkSNARK) folding schemes including Nova, HyperNova, ProtoGalaxy and CycleFold.</li> + </ul></p> + <p>I'm particularly interested in <strong>applied cryptography, zero-knowledge proofs, secure protocol design, post-quantum cryptography, verifiable computation and cryptographic infrastructure</strong>.</p> + On my free time I enjoy self-studying <a href="/notes.html">some math topics</a>. + <!-- <br><br><br> Some of the projects I've enjoyed working on over these past years:<br> <ul> <li> <i>Folding schemes</i> implementations such as Nova, HyperNova, ProtoGalaxy, CycleFold in the - <a href="https://github.com/privacy-ethereum/sonobe" target="_blank">Sonobe</a> library + <a href="https://github.com/ethereum/sonobe" target="_blank">Sonobe</a> library </li> <li> Elliptic curve <i>signature schemes</i> such as@@ -208,7 +218,14 @@ </li>
<li> <i>FHE (full-homomorphic encryption)</i> schemes such as CKKS, BFV, TFHE at <a href="https://github.com/arnaucube/fhe-study" target="_blank">fhe-study</a>. </li> + <li> + <i>VMs (Virtual machines)</i> such as + <a href="https://github.com/arnaucube/chip8-rs" target="_blank">chip8-rs</a>, + <a href="https://github.com/arnaucube/evm-rs" target="_blank">evm-rs</a>, + <a href="https://github.com/arnaucube/rv32-rs" target="_blank">Risc-V (RV32)</a>, + </li> </ul> + --> <!-- Interested on implementing cryptographic primitives (both rust libraries and zk circuits). Examples of things I've enjoyed working on these past years:@@ -228,19 +245,35 @@ <!-- <hr style="width:70%;"> -->
<!-- <br><br> --> <div class="column" style="font-size:100%;"> - <h2>Recent <b>Work</b>:</h2> + <h2>Selected <b>Work</b>:</h2> <div class="recent-work-box"> <h4 class="gray">2023 - 2026</h4> <!-- 2023 --> <h3 style="display:inline;"><a href="https://research.0xparc.org" target="_blank" class="recentwork">0xPARC Research</a> -</h3> <i style="display:inline;">Applied cryptography research</i> + <p><span class="gray">ethereum/</span><a href="https://github.com/ethereum/sonobe" target="_blank">Sonobe</a> is a modular Rust library for folding schemes and incrementally verifiable computation. Core developer, designed the architecture of the library and the on-chain verification.</p> + + My work included: + <ul> + <li>implementing <b>Nova, CycleFold, HyperNova and ProtoGalaxy</b></li> + <li>designing common abstractions that allow different folding schemes to be used under the same interface</li> + <li>designing and implementing Sonobe's <b>Ethereum verification architecture</b>, which allowed Sonobe to be the first folding schemes library to achieve verifying folding proofs on Ethereum</li> + <li>working on the integration of different circuit frontends and commitment schemes</li> + <li>implementing proof-of-concepts for newly published folding constructions, which lter got ported to Sonobe (<a href="https://github.com/arnaucube/protogalaxy-poc" target="_blank">protogalaxy-poc</a> & <a href="https://github.com/privacy-scaling-explorations/multifolding-poc" target="_blank">hypernova-poc</a> + )</li> + + </ul> + Also contributed to other 0xPARC projects including <a href="https://github.com/0xPARC/pod2" target="_blank">POD2</a> and cryptographic gadgets for Plonky2 (eg. <a href="https://github.com/0xPARC/plonky2-crypto-gadgets" target="_blank">AES & Poseidon ciphers</a>). + + <br> + <!-- Research and implementations of folding schemes. <ul> <li> - <span class="gray">privacy-ethereum/</span><a href="https://github.com/privacy-ethereum/sonobe" target="_blank">sonobe</a>: folding schemes modular library. Implemented Nova, CycleFold, HyperNova and ProtoGalaxy. Also designed the onchain verification approach which allowed Sonobe to be the first folding schemes library to achieve verifying folding proofs in Ethereum. - <ul><li><a href="https://github.com/privacy-ethereum/sonobe" target="_blank">sonobe</a>, <a href="https://privacy-ethereum.github.io/sonobe-docs" target="_blank">sonobe-docs</a></li></ul> + <span class="gray">ethereum/</span><a href="https://github.com/ethereum/sonobe" target="_blank">sonobe</a>: folding schemes modular library. Implemented Nova, CycleFold, HyperNova and ProtoGalaxy. Also designed the onchain verification approach which allowed Sonobe to be the first folding schemes library to achieve verifying folding proofs in Ethereum. + <ul><li><a href="https://github.com/ethereum/sonobe" target="_blank">sonobe</a>, <a href="https://privacy-ethereum.github.io/sonobe-docs" target="_blank">sonobe-docs</a></li></ul> </li> <li> <a href="https://github.com/arnaucube/protogalaxy-poc" target="_blank">protogalaxy-poc</a>: ProtoGalaxy folding scheme proof of concept implementation@@ -255,6 +288,7 @@ <li>
<span class="gray">0xPARC/</span><a href="https://github.com/0xPARC/plonky2-crypto-gadgets" target="_blank">plonky2-crypto-gadgets</a>: plonky2 circuits for AES-GCM encryption, Poseidon cipher. </li> </ul> + --> </div> <!-- <hr style="width:40%;margin-left:0;margin-bottom:30px;margin-top:20px;"> -->@@ -263,35 +297,20 @@ <div class="recent-work-box">
<h4 class="gray">2022 - 2023</h4> <!-- 2022 - 2023 --> <h3 style="display:inline;"><a href="https://vocdoni.io" target="_blank" class="recentwork">Vocdoni</a> & <a href="https://research.aragon.org/about/" target="_blank" class="recentwork">Aragon-ZK-Research</a> -</h3> - <i style="display:inline;">Decentralized governance & voting tooling.</i> + <i style="display:inline;">Cryptography Research & Engineering.</i> <br> - Design and implementation of voting schemes using zkSNARKs and other cryptographic schemes. + Design and implementation of privacy-preserving voting protocols using zkSNARKs and other cryptographic schemes. <!-- Design and implementation of <a href="https://docs.vocdoni.io/architecture/protocol/anonymous-voting/zk-census-proof.html#implementation-spec" target="_blank">anonymous voting solutions</a> using zkSNARKs. --> <!-- Introduced <a href="https://github.com/vocdoni/protocol/discussions/23" target="_blank">some</a> design <a href="https://github.com/vocdoni/zk-franchise-proof-circuit/commit/2efeecc12669279dcf493bd9c782ba80b3c87dc8" target="_blank">optimizations</a> in the circuits which reduced the number of constraints. --> <!-- <br>Also, contributed to <span class="gray">vocdoni/</span><a href="https://github.com/vocdoni/vocdoni-node/commits?author=arnaucube" target="_blank">vocdoni-node</a> adding zk related code. --> <!-- <br> --> <!-- Other stuff implemented: --> <br> - <ul> - <li> - <span class="gray">vocdoni/</span><a href="https://github.com/vocdoni/keccak256-circom" target="_blank">keccak256-circom</a>: ethereum sha3 (keccak256) hash function implemented in Circom - </li> - <li> - <span class="gray">vocdoni/</span><a href="https://github.com/vocdoni/zk-franchise-proof-circuit" target="_blank">zk-census-proof</a>: anonymous census proof circuit used in Vocdoni's Blockchain - <ul> - <li> - <span class="gray">aragonzkresearch/</span><a href="https://github.com/aragonzkresearch/ark-anon-vote" target="_blank">ark-anon-vote</a>: (similar design, implemented in arkworks) onchain anonymous voting snark circuit. - </li> - </ul> - </li> - <li> - <span class="gray">vocdoni/</span><a href="https://github.com/vocdoni/arbo" target="_blank">arbo</a>: optimized MerkleTree which parallelizes by CPUs for faster computation, compatible with circomlib implementation - </li> - <li> - <span class="gray">aragonzkresearch/</span><a href="https://github.com/aragonzkresearch/ark-ec-blind-signatures" target="_blank">ark-ec-blind-signatures</a>: Blind signatures over elliptic curve implementation (native & r1cs constraints) - </li> - </ul> - <span style="">OVOTE</span>: Offchain Voting with Onchain Trustless Execution (kind of a validity-Rollup for voting). Highly scalable, gass-less for users, voting system on Ethereum relying on zkSNARK proofs. + <p>Some of the work included:</p> + <b>OVOTE</b>: A validity-rollup-style voting system in which votes are processed off-chain while a zkSNARK proves the correctness of the result for on-chain execution. + +Designed the protocol and worked on its Circom circuits, smart contracts and Go infrastructure. + <!-- <span style="">OVOTE</span>: Offchain Voting with Onchain Trustless Execution (kind of a validity-Rollup for voting). Highly scalable, gass-less for users, voting system on Ethereum relying on zkSNARK proofs. --> <ul> <li> <a href="https://research.aragon.org/docs/ovote" target="_blank">OVOTE technical document</a>@@ -306,7 +325,7 @@ <li>
<span class="gray">aragonzkresearch/</span><a href="https://github.com/aragonzkresearch/ovote-node" target="_blank">ovote-node</a>: OVOTE backend node implemented in Go </li> </ul> - <span style="">Blind-OVOTE</span>: (OVOTE with Blind Signatures) L2 validity rollup combined with blind signatures over elliptic curves inside zkSNARK, to provide offchain anonymous voting with onchain binding execution on Ethereum + <b>Blind-OVOTE</b>: An extension of OVOTE combining elliptic-curve blind signatures with zero-knowledge proofs to provide anonymous voting with binding ethereum on-chain execution. <ul> <li> <a href="https://research.aragon.org/docs/blind-ovote" target="_blank">Blind-OVOTE technical document</a>@@ -315,7 +334,22 @@ <li>
<a href="https://forum.aragon.org/t/blind-ovote-ovote-with-blind-signatures-for-voter-anonymity/3881" target="_blank">Forum post</a> with a high level explanation. </li> <li> - <span class="gray">aragonzkresearch/</span><a href="https://github.com/aragonzkresearch/blind-ovote" target="_blank">blind-ovote</a>: Blind-OVOTE implementation in arkworks. + <span class="gray">aragonzkresearch/</span><a href="https://github.com/aragonzkresearch/blind-ovote" target="_blank">blind-ovote</a>: Blind-OVOTE implementation in Rust. + </li> + </ul> + Other work included: + <ul> + <li> + <span class="gray">vocdoni/</span><a href="https://github.com/vocdoni/keccak256-circom" target="_blank">keccak256-circom</a>: ethereum sha3 (keccak256) hash function implemented in Circom + </li> + <li> + <span class="gray">vocdoni/</span><a href="https://github.com/vocdoni/zk-franchise-proof-circuit" target="_blank">zk-census-proof</a>: anonymous census proof circuit used in Vocdoni's Blockchain (also in arkworks: <a href="https://github.com/aragonzkresearch/ark-anon-vote" target="_blank">ark-anon-vote</a>) + </li> + <li> + <span class="gray">vocdoni/</span><a href="https://github.com/vocdoni/arbo" target="_blank">arbo</a>: optimized CPU-parallel MerkleTree compatible with circomlib implementation, compatible with multiple hash functions + </li> + <li> + <span class="gray">aragonzkresearch/</span><a href="https://github.com/aragonzkresearch/ark-ec-blind-signatures" target="_blank">ark-ec-blind-signatures</a>: Blind signatures over elliptic curve implementation (native & r1cs constraints) </li> </ul> </div>@@ -325,13 +359,13 @@ <div class="recent-work-box">
<h4 class="gray">2018 - 2022</h4> <!-- 2021 - 2022 --> <h3 style="display:inline;"><a href="https://hermez.io" target="_blank" class="recentwork">Hermez zkRollup</a> -</h3> - <i style="display:inline;"> Decentralized zkRollup on Ethereum.</i><br> + <i style="display:inline;"> Protocol & Backend Engineer</i><br> Main task has been to implement the Hermez node, used to <a href="https://cointelegraph.com/news/hermes-network-launches-zk-rollups-on-ethereum-mainnet-to-process-cheap-payments" target="_blank">launch the mainnet</a> of the zkRollup network (1.0): <br><span style="margin-left:30px;"></span> <span class="gray">hermeznetwork/</span><a href="https://github.com/arnaucube/hermez-node" target="_blank">hermez-node</a> - <br>My focus has been mainly in the TxSelector, TxProcessor (managing - the rollup state tree) and BatchBuilder (generating the data + <br>Main responsability was developing the node used for the network's production launch. Worked primarly on the transaction selector, transction processor (managing + the rollup state tree) and batch builder (generating the data structure compatible with the zkSNARK circuits to do the proof generation). <!-- </div> --> <!-- <hr> -->@@ -340,8 +374,9 @@ <!-- <div class="recent-work-box"> -->
<!-- 2018 - 2021 --> <br><br> <h3 style="display:inline;"><a href="https://iden3.io" target="_blank" class="recentwork">iden3</a> -</h3> - <i style="display:inline;"> Scalable decentralized identity system with privacy by using zero knowledge proofs.</i><br> - Design and specify the core protocol, develop the core libraries, servers, zk circom circuits and zkSNARK Groth16 Go prover. + <i style="display:inline;">Cryptographiy Protocol & Systems Engineer</i><br> +<!-- Scalable decentralized identity system with privacy by using zero knowledge proofs. --> +Design and specify the core protocol, develop the core libraries, servers, zk circom circuits and zkSNARK Groth16 Go prover, for <b>iden3</b>, a decentralized identity system using zero-knowledge proofs for privacy. <ul> <li> <span class="gray">iden3/</span><a href="https://github.com/iden3/go-iden3-crypto" target="_blank">go-iden3-crypto</a>: cryptographic primitives (SNARK-friendly) used in iden3 </li>@@ -359,35 +394,45 @@
</div> <div style="font-size:80%;"> - <h2>Some other <b>free time</b> side projects:</h2> + <!-- <h2>Some other <b>free time</b> side projects:</h2> --> + <h2>Selected open-source work:</h2> <ul> - <li> - <a href="https://github.com/arnaucube/go-snark-study" target="_blank">go-snark-study</a>: <code>Go</code> zkSNARK implementation from scratch (compiler, setup, prover, verifier) - </li> - <li> - <a href="https://github.com/arnaucube/go-bellman-verifier" target="_blank">go-bellman-verifier</a>: <code>Go</code> Groth16 zkSNARK bellman proof verifier using cloudflare/bn256 Pairing - </li> - <li> - <a href="https://github.com/arnaucube/babyjubjub-rs" target="_blank">babyjubjub-rs</a>: BabyJubJub elliptic curve implementation in <code>Rust</code> - </li> - <li> - <a href="https://github.com/arnaucube/kzg-commitments-study" target="_blank">kzg-commitments</a>: Kate-Zaverucha-Goldberg (KZG10) Polynomial Commitments in <code>Go</code> - </li> - <li> - <a href="https://github.com/arnaucube/fri-commitment" target="_blank">fri-commitment</a>: FRI polynomial commitment in <code>Rust</code> - </li> - <li> - <a href="https://github.com/arnaucube/ipa-rs" target="_blank">ipa-rs</a>: modified Inner Product Argument (IPA) version from Halo paper in <code>Rust</code> using arkworks. - </li> - <li> - <a href="https://github.com/arnaucube/ring-signatures-rs" target="_blank">ring-signatures-rs</a>: bLSAG ring signatures implementation in <code>Rust</code> - </li> - <li> - <a href="https://github.com/arnaucube/poseidon-rs" target="_blank">poseidon-rs</a>: Poseidon hash implementation in <code>Rust</code> - </li> - <li> - <a href="https://github.com/arnaucube/go-blindsecp256k1" target="_blank">go-blindsecp256k1</a>: Blind signatures over secp256k1 elliptic curve in <code>Go</code> <i>(with the <a href="https://github.com/arnaucube/blindsecp256k1-js" target="_blank">compatible typescript implementation</a>)</i> - </li> + <li>Proof systems & commitmments</li> + <ul> + <li> + <a href="https://github.com/arnaucube/go-snark" target="_blank">go-snark</a>: <code>Go</code> zkSNARK implementation from scratch (compiler, setup, prover, verifier) + </li> + <li> + <a href="https://github.com/arnaucube/go-bellman-verifier" target="_blank">go-bellman-verifier</a>: <code>Go</code> Groth16 zkSNARK bellman proof verifier using cloudflare/bn256 Pairing + </li> + <li> + <a href="https://github.com/arnaucube/protogalaxy-poc" target="_blank">protogalaxy-poc</a>: implementation of the ProtoGalaxy SNARK folding scheme in <code>Rust</code>. + </li> + </ul> + <li>Cryptographic primitives</li> + <ul> + <li> + <a href="https://github.com/arnaucube/babyjubjub-rs" target="_blank">babyjubjub-rs</a>: BabyJubJub elliptic curve implementation in <code>Rust</code> + </li> + <li> + <a href="https://github.com/arnaucube/poseidon-rs" target="_blank">poseidon-rs</a>: Poseidon hash implementation in <code>Rust</code> + </li> + <li> + <a href="https://github.com/arnaucube/fri-commitment" target="_blank">fri-commitment</a>: FRI polynomial commitment in <code>Rust</code> + </li> + <li> + <a href="https://github.com/arnaucube/ipa-rs" target="_blank">ipa-rs</a>: modified Inner Product Argument (IPA) version from Halo paper in <code>Rust</code> using arkworks. + </li> + <li> + <a href="https://github.com/arnaucube/kzg-commitments-study" target="_blank">kzg-commitments</a>: Kate-Zaverucha-Goldberg (KZG10) Polynomial Commitments in <code>Go</code> + </li> + <li> + <a href="https://github.com/arnaucube/ring-signatures-rs" target="_blank">ring-signatures-rs</a>: bLSAG ring signatures implementation in <code>Rust</code> + </li> + <li> + <a href="https://github.com/arnaucube/go-blindsecp256k1" target="_blank">go-blindsecp256k1</a>: Blind signatures over secp256k1 elliptic curve in <code>Go</code> <i>(with the <a href="https://github.com/arnaucube/blindsecp256k1-js" target="_blank">compatible typescript implementation</a>)</i> + </li> + </ul> <!-- </ul> --> <!-- Other: --> <!-- <ul> -->@@ -397,49 +442,121 @@ <!-- </li> -->
<!-- <li> --> <!-- <a href="https://github.com/arnaucube/go-dht" target="_blank">go-dht</a>: Kademlia DHT implementation in <code>Go</code> --> <!-- </li> --> + <li>Systems & virtual machines</li> + <ul> <li> - <a href="https://github.com/arnaucube/merkletree-rs" target="_blank">merkletree-rs</a>: Sparse MerkleTree implementation in <code>Rust</code> (also a <code>Go</code> impl <a href="https://github.com/arnaucube/go-merkletree" target="_blank">go-merkletree</a>) + <a href="https://github.com/arnaucube/evm-rs" target="_blank">evm-rs</a>: partial implementation of the Ethereum Virtual Machine (EVM) in <code>Rust</code> </li> <li> - <a href="https://github.com/arnaucube/shamirsecretsharing" target="_blank">shamirsecretsharing</a>: Shamir's Secret Sharing <code>Rust</code> & <code>Go</code> implementation + <code>WASM</code> lib + <a href="https://github.com/arnaucube/rv32-rs" target="_blank">rv32-rs</a>: RISC-V (RV32IM) implementation in <code>Rust</code> </li> + </ul> + + <!-- <li> --> + <!-- <a href="https://github.com/arnaucube/merkletree-rs" target="_blank">merkletree-rs</a>: Sparse MerkleTree implementation in <code>Rust</code> (also a <code>Go</code> impl <a href="https://github.com/arnaucube/go-merkletree" target="_blank">go-merkletree</a>) --> + <!-- </li> --> + <!-- <li> --> + <!-- <a href="https://github.com/arnaucube/shamirsecretsharing" target="_blank">shamirsecretsharing</a>: Shamir's Secret Sharing <code>Rust</code> & <code>Go</code> implementation + <code>WASM</code> lib --> + <!-- </li> --> <!-- <li> --> <!-- <a href="https://github.com/arnaucube/cryptofun" target="_blank">cryptofun</a>: Crypto algorithms from scratch, in order to get familiar with them from inside. For example: ECC, Paillier, RSA, Homomorphic computation, ElGamal, Schnorr, ECDSA, BN128, ... --> <!-- </li> --> - <li> - <a href="https://github.com/arnaucube/evm-rs" target="_blank">evm-rs</a>: partial implementation of the Ethereum Virtual Machine (EVM) in <code>Rust</code> - </li> - <li> - <a href="https://kvartalo.github.io/website/" target="_blank">kvartalo</a>: a local social cryptocurrency for neigbourhoods, that we used in a Barcelona neighbourhood as experiment during few months. Build on top of Ethereum blockchain & Tendermint Core - </li> - <li> - <a href="https://github.com/arnaucube/chip8-rs" target="_blank">chip8-rs</a>: CHIP-8 virtual machine emulator written in <code>Rust</code> (also a <code>Go</code> impl <a href="https://github.com/arnaucube/go-chip8" target="_blank">go-chip8</a>) - </li> - <li> - <a href="https://github.com/arnaucube/fft-rs" target="_blank">fft-rs</a>: Fast Fourier Transform (FFT) implementation in <code>Rust</code> - </li> - <li> - <a href="https://github.com/arnaucube/miksi-core" target="_blank">miksi</a>: Ethereum zk-coin-mixer where all the computation & constructions are done offchain and then proved inside a zkSNARK to the smart-contract. <i><a href="https://arnaucube.github.io/miksi-app/" target="_blank">(live demo on testnet)</a></i> - </li> - <li> - <a href="https://github.com/arnaucube/eth-kzg-ceremony-alt" target="_blank">eth-kzg-ceremony-alt</a>: Alternative implementation of the contributor-client for the Ethereum KZG Trusted Setup Ceremony. I used this code to do my contribution to Ethereum's KZG ceremony. - </li> + <!-- <li> --> + <!-- <a href="https://kvartalo.github.io/website/" target="_blank">kvartalo</a>: a local social cryptocurrency for neigbourhoods, that we used in a Barcelona neighbourhood as experiment during few months. Build on top of Ethereum blockchain & Tendermint Core --> + <!-- </li> --> + <!-- <li> --> + <!-- <a href="https://github.com/arnaucube/chip8-rs" target="_blank">chip8-rs</a>: CHIP-8 virtual machine emulator written in <code>Rust</code> (also a <code>Go</code> impl <a href="https://github.com/arnaucube/go-chip8" target="_blank">go-chip8</a>) --> + <!-- </li> --> + <!-- <li> --> + <!-- <a href="https://github.com/arnaucube/fft-rs" target="_blank">fft-rs</a>: Fast Fourier Transform (FFT) implementation in <code>Rust</code> --> + <!-- </li> --> + <li>Other:</li> + <ul> + <li> + <a href="https://github.com/arnaucube/miksi-core" target="_blank">miksi</a>: Ethereum zk-coin-mixer where all the computation & constructions are done offchain and then proved inside a zkSNARK to the smart-contract. <i><a href="https://arnaucube.github.io/miksi-app/" target="_blank">(live demo on testnet)</a></i> + </li> + <li> + <a href="https://github.com/arnaucube/eth-kzg-ceremony-alt" target="_blank">eth-kzg-ceremony-alt</a>: Alternative implementation of the contributor-client for the Ethereum KZG Trusted Setup Ceremony. I used this code to do my contribution to Ethereum's KZG ceremony. + </li> + </ul> </ul> + </div> More projects directly in github: <a href="https://github.com/arnaucube?tab=repositories" target="_blank">https://github.com/arnaucube</a> <i>(Mirror of all the repos at: <a href="https://git.arnaucube.com/arnaucube?sort=moststars" target="_blank">https://git.arnaucube.com</a>)</i>. + + + <br><br> + <h2>Selected talks</h2> + <ul style="list-style: none; padding: 0; margin: 0;"> + <li style="display: flex; gap: 1rem; margin-bottom: 0.6em;"> + <span style="flex: 0 0 2cm;">Sep. 2026</span> + <div> + Eth devs Barcelona meetup - + <b>Introduction to lattice-based cryptography</b> + <br> + <a href="https://github.com/arnaucube/math/blob/master/slides/slides_lattices-intro.pdf" target="_blank"> + slides + </a> </div> + </li> + + <li style="display: flex; gap: 1rem; margin-bottom: 0.6em;"> + <span style="flex: 0 0 2cm;">Nov. 2024</span> + <div> + zkSummit12, Lisboa - + <b>Sonobe, a modular folding schemes library</b> + <br> + <a href="https://github.com/arnaucube/math/blob/master/slides/slides_sonobe-zkSummit12-2024-10-08.pdf" target="_blank"> + slides + </a>, + + <a href="https://www.youtube.com/watch?v=z3FH9I8klDk" target="_blank"> + video + </a> + </div> + </li> + + <li style="display: flex; gap: 1rem; margin-bottom: 0.6em;"> + <span style="flex: 0 0 2cm;">Jun. 2023</span> + <div> + 0xPARC internal team talk, London & SF - + <b>HyperNova's multifolding mathematical overview</b> + <br> + <a href="https://github.com/arnaucube/math/blob/master/slides/slides_hypernova-multifolding-unfolded.pdf" target="_blank"> + slides + </a> + </div> + </li> + + <li style="display: flex; gap: 1rem; margin-bottom: 0.6em;"> + <span style="flex: 0 0 2cm;">Aug. 2019</span> + <div> + Web3Summit, Berlin - + <b>zkSNARKs from scratch: a technical explanation</b> + <br> + <a href="https://github.com/arnaucube/slides/blob/master/zksnarks-from-scratch-a-technical-explanation.pdf" target="_blank"> + slides + </a> + </div> + </li> + </ul> + + <br><br><br> <p style="padding:0;margin:0;font-size:120%;"> <a href="blog/index.html">blog</a> <span style="margin: 10px;">|</span> + <a href="/notes.html">notes</a> + <span style="margin: 10px;">|</span> <a href="https://github.com/arnaucube" target="_blank">github</a> <span style="font-style:italic;">(<a href="https://git.arnaucube.com/arnaucube?sort=moststars" target="_blank">git-mirror</a>)</span> <span style="margin: 10px;">|</span> <a href="https://twitter.com/arnaucube" target="_blank">twitter</a> </p> <br><br> - <img src="img/email.png" /> + <a href="mailto:hello@arnaucube.com">hello@arnaucube.com</a> + <!-- <img src="img/email.png" /> -->