By: ValentinHirschi <valentin.hirschi@gmail.com>
Adopt explicit native certificate capacity for retained double-box proofs