Miden Transaction Kernel Security Review

Article

OpenZeppelin's security review of the Miden transaction kernel, focused on execution flow and authentication of nondeterministic inputs. 8 issues identified.

Read the full story at OpenZeppelin Blog ↗

This is the summary OpenZeppelin Blog publishes in its feed. The full article lives on their site.

Article OpenZeppelin Blog

Miden Standard Diff Audit

OpenZeppelin's diff audit of miden-standards, Miden's standard contract library: faucets, access control, authentication and note scripts. 65 issues identified.

Article OpenZeppelin Blog

Miden USDCx Audit

OpenZeppelin audited Miden USDCx: the faucet account, mint and burn paths, administration notes and the supporting Rust library. 19 issues, 13 resolved.

Article OpenZeppelin Blog

Miden Transaction Kernel v0.16 Audit

OpenZeppelin's audit of the Miden transaction kernel v0.16 changes, including the move of internal modules into a separate tx_kernel_core library. 27 issues.

Article OpenZeppelin Blog

Miden Transaction Kernel Audit

OpenZeppelin audited the Miden transaction kernel, the Miden Assembly program that validates and processes every transaction on Miden. 18 issues, 9 resolved.