diff --git a/design/proof-erasure-coding.ods b/design/proof-erasure-coding.ods
new file mode 100644
index 0000000..842a0db
Binary files /dev/null and b/design/proof-erasure-coding.ods differ