Add final Audit documents and update changelog for release (#1233)

* feat: add updated audits and properly reference in readme

* feat: update and prepare changelog for release

Author: cryptonemo

CHANGELOG.md

@@ -7,10 +7,20 @@ and this project adheres to [Semantic Versioning](https://book.async.rs/overview
 
 ## Unreleased
 
+## 4.0.5 - 2020-07-28
+
+- Include proofs and snark security audit documents, with updated references [1233](https://github.com/filecoin-project/rust-fil-proofs/pull/1233)
+- Remove `stacked` benchmark from benchy (broken) [1229](https://github.com/filecoin-project/rust-fil-proofs/pull/1229)
+- Update range for feistel tests [1228](https://github.com/filecoin-project/rust-fil-proofs/pull/1228)
+- Allow for compilation on aarch64 [1204](https://github.com/filecoin-project/rust-fil-proofs/pull/1204)
+- Implement `fauxrep2`: a testable fake replication API [1218]((https://github.com/filecoin-project/rust-fil-proofs/pull/1218)
+- Fix CI `metrics_capture` jobs from consistently failing [1215](https://github.com/filecoin-project/rust-fil-proofs/pull/1215)
+- Correct `rows_to_discard` value during post [1220](https://github.com/filecoin-project/rust-fil-proofs/pull/1220)
+
 ## 4.0.4 - 2020-07-15
 
 - Default parent cache path to use FIL_PROOFS_CACHE_DIR if set [1207](https://github.com/filecoin-project/rust-fil-proofs/pull/1207)
-- Investigate CI metrics capture [1212](https://github.com/filecoin-project/rust-fil-proofs/pull/1212) and [1213] (https://github.com/filecoin-project/rust-fil-proofs/pull/1213)
+- Investigate CI metrics capture [1212](https://github.com/filecoin-project/rust-fil-proofs/pull/1212) and [1213](https://github.com/filecoin-project/rust-fil-proofs/pull/1213)
 - Additional README updates and corrections [1211](https://github.com/filecoin-project/rust-fil-proofs/pull/1211)
 - Update README [1208](https://github.com/filecoin-project/rust-fil-proofs/pull/1208)
 - Swap buffers instead of memcpy in generate_labels [1197](https://github.com/filecoin-project/rust-fil-proofs/pull/1197)
@@ -76,7 +86,8 @@ and this project adheres to [Semantic Versioning](https://book.async.rs/overview
 
 - Initial stable release
 
-[Unreleased]: https://github.com/filecoin-project/rust-fil-proofs/compare/v4.0.4...HEAD
+[Unreleased]: https://github.com/filecoin-project/rust-fil-proofs/compare/v4.0.5...HEAD
+[4.0.5]: https://github.com/filecoin-project/rust-fil-proofs/tree/releases/v4.0.5
 [4.0.4]: https://github.com/filecoin-project/rust-fil-proofs/tree/releases/v4.0.4
 [4.0.3]: https://github.com/filecoin-project/rust-fil-proofs/tree/releases/v4.0.3
 [4.0.2]: https://github.com/filecoin-project/rust-fil-proofs/tree/releases/v4.0.2

README.md

@@ -30,7 +30,9 @@ There are currently several different crates:
 
 ## Security Audits
 
-`rust-fil-proofs` has undergone a [SNARK proofs security audit performed by Dr. Jean-Philippe Aumasson and Antony Vennard](audits/protocolai-audit-DRAFT-2020-07-23-2.pdf) and been deemed free of *critical* or *major* security issues.  In addition to the security analysis, the document provides the audit goals, methodology, functionality descriptions and finally observations on what could be improved.  All known issues have been resolved to date.
+The `rust-fil-proofs` proofs code and the [Filecoin Spec](https://bafybeidxw5vxjdwsun2zc2illagf43v6w5r5w63vg455h7vjesbyqssg64.ipfs.dweb.link/algorithms/sdr/) has undergone a [proofs security audit](audits/Sigma-Prime-Protocol-Labs-Filecoin-Proofs-Security-Review-v2.1.pdf) performed by [Sigma Prime](https://sigmaprime.io/) and been deemed free of *critical* or *major* security issues.  In addition to the security review, the document provides the summary of findings, vulnerability classifications, and recommended resolutions.  All known issues have been resolved to date in both the code and the specification.
+
+`rust-fil-proofs` has also undergone a [SNARK proofs security audit performed by Dr. Jean-Philippe Aumasson and Antony Vennard](audits/protocolai-audit-20200728.pdf) and been deemed free of *critical* or *major* security issues.  In addition to the security analysis, the document provides the audit goals, methodology, functionality descriptions and finally observations on what could be improved.  All known issues have been resolved to date.
 
 ## Design Notes