### Human connections in the early days of AI

A short note on aiccelerationism, hyperreality, and the recovery of human connections.

2025-06-03

### [zkSummit12 talk] Sonobe, a modular folding schemes library

(link to youtube video of the talk)

2024-11-21

### Notes on ProtoGalaxy

The idea of these notes is to provide some extra intuition and explainations on ProtoGalaxy’s paper. ProtoGalaxy is a folding scheme which iterates on ideas from ProtoStar paper.

2023-08-20

### Notes on HyperNova (pdf)

This document contains notes on HyperNova and CCS.

2023-05-16

### IPA polynomial commitment by hand

This post overviews the IPA polynomial commitment described in the Halo paper, first by providing an overview on the protocol, then by doing a step-by-step example with small values, following the style done in the “Plonk by hand series” from Joshua Fitzgerald, and later by providing a Sage implementation of the protocol.

2023-04-06

### Notes on FRI and STIR (pdf)

This document contains notes on FRI low degree testing and the trick to convert it to a polynomial commitment scheme. (Update 2024-03-22: also few notes on STIR).

2023-02-26

### Implementing the powers of tau contributor

In the following notes we go over the ideas behind the Powers of Tau ceremony, how participants contribute and how the contributions are verified (logic & code). We focus on the Ethereum’s upcoming KZG-Ceremony.

2023-01-02

### bLSAG ring signatures overview

Notes on bLSAG: Back’s Linkable Spontaneous Anonymous Group signatures

2022-07-20

### Lagrange Polynomial Interpolation and Shamir secret sharing

Overview of Langrange Polynomial interpolation and Shamir’s secret sharing.

2021-10-10

### Batch proof in KZG Commitments

The benefit of batch proof is that allows us to proof multiple points while the proof size remains constant to one \(\mathbb{G}_1\) point.

2021-08-14

### Notes on KZG polynomial commitments

In the following notes I’ve tried to summarize the KZG Commitments scheme with the concepts that helped me to follow the reasoning.

2021-08-05

### Notes on blind signatures over elliptic curves

In this notes, we will cover the scheme proposed at “New Blind Signature Schemes Based on the (Elliptic Curve) Discrete Logarithm Problem” paper by Hamid Mala & Nafiseh Nezhadansari.

2021-07-30

### CoffeeMiner: Hacking WiFi to inject cryptocurrency miner to HTML requests

The goal of this post, is to explain how can be done the attack of MITM (Machine-In-The-Middle) to inject some javascript in the html pages, to force all the machines connected to a WiFi network to be mining a cryptocurrency for the attacker.

2018-01-04

### Auto generated tweets from Markov chains

Developing a twitter botnet with autonomous bots replying tweets with text generated based on probabilities in Markov chains

2017-12-29

### Static blog template engine implementation in Go

How has this blog been made? In this post we will see how to develop a minimalistic static blog template engine with Go.

2017-12-26