diff --git a/docs/img/cdk/Full-execution-proofs-diagram.jpg b/docs/img/cdk/Full-execution-proofs-diagram.jpg
new file mode 100644
index 00000000..9fac5526
Binary files /dev/null and b/docs/img/cdk/Full-execution-proofs-diagram.jpg differ
diff --git a/docs/img/cdk/Pessimistic-proofs-diagram.jpg b/docs/img/cdk/Pessimistic-proofs-diagram.jpg
new file mode 100644
index 00000000..0080f9fd
Binary files /dev/null and b/docs/img/cdk/Pessimistic-proofs-diagram.jpg differ