Skip to content

Instantly share code, notes, and snippets.

View huitseeker's full-sized avatar

François Garillot huitseeker

View GitHub Profile

Cryptography and Blockchain Events in Rome - May 2026

A comprehensive list of cryptography and blockchain events taking place in Rome at the beginning of May 2026.

Event Timeline (Chronological)

Event Dates Focus Link
zkSummit 14 May 7 Industry-focused zero-knowledge summit - research, zk use-cases, cryptographic primitives https://www.zksummit.com/
Zcash Dev Summit May 8 Developer-only technical gathering for Zcash ecosystem contributors https://zfnd.org/zcash-dev-summits/
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>0xMiden/miden-vm PR Stats</title>
<style>
:root {
--bg: #f5f1e8;
--panel: rgba(255, 252, 245, 0.94);
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>PR 2765 Analysis: Fixed-Layout Hashless MAST Serialization</title>
<link
rel="stylesheet"
href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.9.0/styles/atom-one-dark.min.css"
>
{
"consume single P2ID note": {
"prologue": 3501,
"notes_processing": 1761,
"note_execution": {
"0x62e6fe0d5f649b395b5c3f63736fd7b469fd1e0e867c441696d1a70324d3f9a2": 1721
},
"tx_script_processing": 42,
"epilogue": {
"total": 72351,

Window Access Walkthrough: RowWindow, Matrix Views, RefCast, and Regressions

2026-03-28T22:40:11Z by Showboat 0.6.1

Goal

This walkthrough explains one narrow slice of the AIR API history in Plonky3:

  1. what PR #1357 / commit 808fb9e2 introduced,

UX Walkthrough: Hunting mod_12289 with the Old and New MASM Analyses

This walkthrough studies one bug hunt: the missing u32assert on the advice remainder in miden::core::crypto::dsa::falcon512_poseidon2::mod_12289.

It compares three user experiences:

  • the baseline analysis
  • the current flat diagnostics
  • the current optional grouped mode

The case study is the advice remainder in mod_12289. The quotient is checked with u32assert2, but the remainder loaded at line 57 reaches u32overflowing_sub and u32overflowing_add without a u32assert.

diff --git i/crates/mast-package/src/package/mod.rs w/crates/mast-package/src/package/mod.rs
index 8420ddc8e..0deeb3436 100644
--- i/crates/mast-package/src/package/mod.rs
+++ w/crates/mast-package/src/package/mod.rs
@@ -90,6 +90,110 @@ impl Package {
}
}
+#[cfg(test)]
+mod tests {
Compiling proc-macro2 v1.0.106
Compiling quote v1.0.45
Compiling unicode-ident v1.0.12
Compiling autocfg v1.2.0
Compiling serde_core v1.0.228
Compiling serde v1.0.228
Compiling either v1.10.0
Compiling paste v1.0.15
Compiling strength_reduce v0.2.4
Compiling rand_core v0.10.0
Compiling rand_xoshiro v0.8.0
Compiling p3-koala-bear v0.5.1 (/home/huitseeker/tmp/plonky3/koala-bear)
Compiling p3-baby-bear v0.5.1 (/home/huitseeker/tmp/plonky3/baby-bear)
Compiling p3-mersenne-31 v0.5.1 (/home/huitseeker/tmp/plonky3/mersenne-31)
Finished `bench` profile [optimized] target(s) in 2.48s
Running benches/bench_field.rs (target/release/deps/bench_field-b2f381ff2baaf80f)
Gnuplot not found, using plotters backend
Benchmarking BabyBear batched_lc/chunk=1, len=100
Benchmarking BabyBear batched_lc/chunk=1, len=100: Warming up for 3.0000 s
Benchmarking BabyBear batched_lc/chunk=1, len=100: Collecting 100 samples in estimated 5.0000 s (59M iterations)
diff --git i/crates/project/src/profile.rs w/crates/project/src/profile.rs
index 85df31b8d..b25654512 100644
--- i/crates/project/src/profile.rs
+++ w/crates/project/src/profile.rs
@@ -22,6 +22,70 @@ pub struct Profile {
metadata: Metadata,
}
+trait ProfileOverrides {
+ fn debug_override(&self) -> Option<bool>;