Hi Prossimo/ISRG team,
Submitting a project that aligns with the memory safety initiative: rav2d — a complete Rust port of dav2d (the AV2 video decoder).
This follows the same approach as rav1d (which Prossimo funds), extended to AV2:
- 47K+ lines of Rust across 47 source files
- 786 unit tests passing
- All C decoder logic ported to safe Rust
- Assembly DSP kernels shared via FFI
- Full pipeline: OBU parsing, MSAC, block decode, deblock, CDEF, loop restoration (NS/PC Wiener, GDF), film grain, motion comp, inverse transforms, threading
Repo: https://github.com/stukenov/rav2d
Video decoders parse untrusted bitstreams from the internet — they are a prime target for memory corruption exploits. rav2d eliminates buffer overflows, use-after-free, and integer overflows at compile time while keeping hand-optimized assembly for pixel processing.
Would love to discuss potential inclusion in the Prossimo initiative or any collaboration opportunities.
Hi Prossimo/ISRG team,
Submitting a project that aligns with the memory safety initiative: rav2d — a complete Rust port of dav2d (the AV2 video decoder).
This follows the same approach as rav1d (which Prossimo funds), extended to AV2:
Repo: https://github.com/stukenov/rav2d
Video decoders parse untrusted bitstreams from the internet — they are a prime target for memory corruption exploits. rav2d eliminates buffer overflows, use-after-free, and integer overflows at compile time while keeping hand-optimized assembly for pixel processing.
Would love to discuss potential inclusion in the Prossimo initiative or any collaboration opportunities.