A comprehensive list of cryptography and blockchain events taking place in Rome at the beginning of May 2026.
| 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, |
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 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>; |