Skip to content

Instantly share code, notes, and snippets.

View huitseeker's full-sized avatar

François Garillot huitseeker

View GitHub Profile

CI Analysis: cargo publish --dry-run failures between 50680fe and 21a84c58

Commit Title Run ID Status Conclusion Runtime (s) Failure Type
21a84c580e1f37810e9b76d3cf250d7448d42482 ci: simplify msrv CI check (#1673) 22146102421 completed failure 121 MISSING_SCRIPT
2f26190077c9f5c0227550ba9b74bc21a0027e29 feat/ci: ensure static linkage of C deps (#1684) 22143825352 completed failure 940 PUBLISH_GIT_DEP
9bed52eb03b0244b79b23618c7c50abc2b19d433 feat: Validator database (#1614) 22117684036 completed failure 889 PUBLISH_GIT_DEP
2340d92ccb8c582bf4289aab6c546d36f5f31e80 ci: workflow cleanup follow-up (#1679) 22093330761 completed failure 940 PUBLISH_GIT_DEP
ffd3f4d335736e66b53ccd84805c32a2e17e2500 fix: compile fix from missed merge (#1683) 22093290514 completed cancelled 84 CANCELLED
d3b085f586b06372b7e5814664ced8b2aa660a6d Merge branch 'm
commit b32cd775a91d346a5381b84c870aac30ec5377fb
Author: François Garillot <francois@garillot.net>
Date: Fri Feb 20 01:26:32 2026 -0500
Fix transaction proving benchmarks
- Change prove_transaction from sync to async to use prove_async()
- This avoids Tokio runtime nesting issues with miden-vm 0.22.0
- Fix bug where prove_transaction wasn't being awaited in benchmarks
- Proving now correctly runs and generates ~218KB proofs

Transaction Benchmark Results - Commit f277721d

Generated: 2026-02-20


Machine Characteristics

Property Value

Transaction Benchmark Results - Branch: huitseeker/huitseeker/update-miden-deps-p3

Generated: 2026-02-20


Machine Characteristics

Property Value

Transaction Benchmark Results

Generated: 2026-02-20


Machine Characteristics

Property Value

miden-base to miden-vm next migration guide

This is a hand‑off summary for someone starting fresh on a newer miden-base branch. It captures the hard‑won lessons from the old UPGRADE_LOG and the recent branch work, plus what is still broken. Treat it as a map, not a history book.

Scope

  • Upgrade miden-base to miden-crypto v0.22 and miden-vm next.
  • Align the kernel and host code with two breaking changes:
    1. hash function switch to Poseidon2
    2. stack ordering switch from BE to LE
  • Get make check, make test, make lint, and scripts/check-features.sh passing.

Miden Recursive Proving: Critical Path Priority Analysis

Analysis Date: 2025-02-11 Repositories Analyzed: 0xMiden/crypto, 0xMiden/miden-vm, 0xMiden/p3-miden Total Issues Analyzed: 200 (45 crypto + 148 VM + 7 p3-miden)


Executive Summary

Reliability & Observability Issues Report

Generated: 2025-02-06 Repository: 0xMiden/miden-node Total Open Issues: 106 Issues Addressed by PRs: 13 Unaddressed Issues: 93

Overview

Benchmark Results for PR #1225: columnwise_dot_product_batched

Machine: AMD Ryzen 9 9950X 16-Core Processor Date: 2026-01-08 Features: --features parallel

General columnwise_dot_product (BabyBear, EF=degree-4 extension)

Size unbatched batched<1> Δ unbatched×2 batched<2> Δ
//! Verify QuadFelt::new_complex matches the old QuadFelt::from([a, b]) behavior.
//!
//! Both APIs call BinomialExtensionField::new with the same array, so they should be identical.
use miden_core::{Felt, QuadFelt};
use proptest::prelude::*;
/// Create QuadFelt from array like the old API did.
///
/// BinomialExtensionField is #[repr(transparent)] over [A; D], and PhantomData is zero-sized,