-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Review coverage gaps left by the 2026-09-27 zkVM and rVM reports
area:rvmRecursion VM (aggregation)Recursion VM (aggregation)area:zkvmzkVM prover/verifierzkVM prover/verifiersecuritySecurity findingSecurity findingsev:lowSeverity lowSeverity lowStatus: Open.#62 In randprotocol/fullnode;INTERFACE-9: pruning shrinks only one stored copy of a sealed bundle and rescans every seal
area:aggregationAggregation node/ledger interfaceAggregation node/ledger interfacebugSomething isn't workingSomething isn't workingsecuritySecurity findingSecurity findingsev:lowSeverity lowSeverity lowStatus: Open.#51 In randprotocol/fullnode;R4-a: gpu-kernels hands every thread a &mut over the whole buffer (aliasing UB)
area:zkvmzkVM prover/verifierzkVM prover/verifierbugSomething isn't workingSomething isn't workingsecuritySecurity findingSecurity findingsev:lowSeverity lowSeverity lowStatus: Open.#49 In randprotocol/fullnode;AGG-E2E: end-to-end forged-aggregate exercise against the fixed rVM (before enabling aggregation)
area:rvmRecursion VM (aggregation)Recursion VM (aggregation)bugSomething isn't workingSomething isn't workingsecuritySecurity findingSecurity findingsev:mediumSeverity mediumSeverity mediumStatus: Open.#45 In randprotocol/fullnode;