From bc4d69263a3057a4557ab5c96efb1b3bd84fe609 Mon Sep 17 00:00:00 2001 From: Deploy from CI <> Date: Mon, 2 Dec 2024 20:39:42 +0100 Subject: [PATCH] coq-of-solidity: small precisions for pricing --- coq/docs/src/presentation.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/coq/docs/src/presentation.md b/coq/docs/src/presentation.md index 6b3ce8ea74b7..70393d0a5e31 100644 --- a/coq/docs/src/presentation.md +++ b/coq/docs/src/presentation.md @@ -1,6 +1,6 @@ # Presentation -Here is a 🏎️ quick presentation, in simple words, of what `coq-of-solidity` does. +Here is a 🏎️ quick presentation, in simple words, of what [coq-of-solidity](https://github.com/formal-land/coq-of-solidity) does. > With `coq-of-solidity` you make sure that the money stored on your Solidity smart contract cannot be stolen. 🛡️ @@ -24,6 +24,8 @@ At [🌲 Formal Land](https://formal.land/), where we developed `coq-of-sol ## How much? 💸 -For a large smart contract (5,000 lines of Solidity), consider a price of **$50,000** for a formal verification of a _model_ of the code, and **$100,000** for a verification at the level of the _source code_ (more precise). So, this is competitive with traditional audits. +For a large smart contract (5,000 lines of Solidity), consider a price of **$50,000** for a formal verification of a _model_ of the code, and **$100,000** for a verification at the level of the _source code_ (more precise). So, this is competitive with traditional audits in terms of pricing. [💌 Contact us](mailto:contact@formal.land) for an evaluation! + +> `coq-of-solidity` is fully open-source, under MIT licence, so you can also use it by yourself! 🚀