From 3742d83401b4f7f0b1c27e61b2a33caa13343281 Mon Sep 17 00:00:00 2001
From: tuturu-tech <elvis.skozdopolj@trailofbits.com>
Date: Mon, 27 Mar 2023 13:01:36 +0200
Subject: [PATCH] added trophies page

---
 README.md   |  5 +++++
 Trophies.md | 10 ++++++++++
 2 files changed, 15 insertions(+)
 create mode 100644 Trophies.md

diff --git a/README.md b/README.md
index 6a77456..a7c7f83 100644
--- a/README.md
+++ b/README.md
@@ -14,6 +14,7 @@
     - [Clamping](#clamping)
 - [HEVM cheat codes support](#hevm-cheat-codes-support)
   - [Usage example](#usage-example)
+- [Trophies](#trophies)
 - [How to contribute to this repo?](#how-to-contribute-to-this-repo)
 
 
@@ -418,5 +419,9 @@ contract TestProperties {
 
 ```
 
+# Trophies
+
+A list of security vulnerabilities that were found using the properties can be found on the [trophies page](Trophies.md#properties-trophies).
+
 # How to contribute to this repo?
 Contributions are welcome! You can read more about the contribution guidelines and directory structure in the [CONTRIBUTING.md](CONTRIBUTING.md) file. 
diff --git a/Trophies.md b/Trophies.md
new file mode 100644
index 0000000..3699696
--- /dev/null
+++ b/Trophies.md
@@ -0,0 +1,10 @@
+# Properties Trophies
+
+The following lists security vulnerabilities that were found using the properties.
+If you found a security vulnerability using crytic/properties,
+please submit a PR with the relevant information.
+
+| Project | Vulnerability | Date |
+|--|--|--|
+[Pods Finance](https://github.com/pods-finance/yield-contracts/blob/main/audits/2022-11-15_OpenZeppelin_Pods.pdf) | C-03 The vault can be drained one share at a time | March 2023
+[Pods Finance](https://github.com/pods-finance/yield-contracts/blob/main/audits/2022-11-15_OpenZeppelin_Pods.pdf) | H-03 Rounding up in minting shares | March 2023
\ No newline at end of file