koute
Audit the PolkaVM interpreter
The interpreter will be deployed to the Polkadot runtime. It has to be audited. Audit to be done internally.
The audit was completed by April 30th. Shared the findings with @athei and @koute.
May I ask where I can find the audit results? I want to study what vulnerabilities exist in RISC-V virtual machines.
When I heard "internal audit" I understand "go horse mode", usually the audit is not performed by the contributors themselves, not judging because I know they are competent and in their place I would had no idea where to find a Company equally competent to audit a project like this.
I also noticed the addition of the kani tests, so I know there was work to guarantee the code correctness.
