https://zksecurity.io/research/2026-10-14https://zksecurity.io/research/2026-10-14-arguzz-fuzzing-zkvms-soundness-completeness-bugs/2026-10-14https://zksecurity.io/research/2026-10-14-aztec-alpha-v5-proving-system-vulnerability/2026-10-14https://zksecurity.io/research/2026-10-14-fiat-shamir-transcript-audit-guide/2026-10-14https://zksecurity.io/research/2026-10-14-halo2-query-collision-multiopen-soundness-bug/2026-10-14https://zksecurity.io/research/2026-10-14-kestrel-acl2-formal-verification-zk-circuits/2026-10-14https://zksecurity.io/research/2026-10-14-openvm-pairing-cve-2026-46669-missing-subfield-check/2026-10-14https://zksecurity.io/research/2026-10-14-under-constrained-circuits-circom-guide/2026-10-14https://zksecurity.io/research/2026-10-14-zcash-orchard-halo2-variable-base-scalar-mul-soundness-bug/2026-10-14https://zksecurity.io/research/2026-10-14-zero-knowledge-vulnerability-disclosure-trail-of-bits-2020/2026-10-14https://zksecurity.io/research/2026-10-14-zkvm-security-2026-audits-bug-classes-disclosures/2026-10-14https://zksecurity.io/research/2026-10-10-fiat-shamir-transcript-bugs-guide/2026-10-10https://zksecurity.io/research/2026-10-10-zcash-orchard-halo2-soundness-bug-analysis/2026-10-10