Nutshell must remain compatible with P2BK proofs to ensure correctness, safety, and future interoperability