Edited README.md

README.md

@@ -4,17 +4,18 @@ Microsoft SEAL is an easy-to-use open-source ([MIT licensed](LICENSE)) homomorph
 Microsoft SEAL is written in modern standard C++ and is easy to compile and run in many different environments.
 For more information about the Microsoft SEAL project, see [sealcrypto.org](https://www.microsoft.com/en-us/research/project/microsoft-seal).
 
-This document pertains to Microsoft SEAL version 3.7.
+This document pertains to Microsoft SEAL version 4.0.
 Users of previous versions of the library should look at the [list of changes](CHANGES.md).
 
 ## News
 
+The [BGV scheme](https://eprint.iacr.org/2011/277) is now available in Microsoft SEAL. Implementation details are described in [this paper](https://eprint.iacr.org/2020/1481.pdf). We truly appreciate [Alibaba Gemini Lab](https://alibaba-gemini-lab.github.io/) for making massive efforts to develop the BGV scheme and integrate it in Microsoft SEAL.
+
 Starting from version 3.7.2, Microsoft SEAL will push new changes to the `main`, `master`, and `contrib` branches without creating a new version.
 We adopt this approach to merge community contribution and resolve issues in a timely manner.
 These branches will stay ahead of the latest version branch/tag.
 New versions will be created when there are important bug fixes or new features.
 
-
 The [EVA compiler for CKKS](https://arxiv.org/abs/1912.11951) is available at [GitHub.com/Microsoft/EVA](https://GitHub.com/Microsoft/EVA). See [CKKS Programming with EVA](#ckks-programming-with-eva) below for more information.
 
 The [SEAL-Embedded for CKKS Encryption](https://tches.iacr.org/index.php/TCHES/article/view/8991) is available at [Github.com/Microsoft/SEAL-Embedded](https://github.com/microsoft/SEAL-Embedded).
@@ -376,7 +377,7 @@ emcc \
  -Wall \
  -flto \
  -O3 \
- build/lib/libseal-3.7.a \
+ build/lib/libseal-4.0.a \
  --bind \
  -o "build/bin/seal_wasm.js" \
  -s WASM=1 \
@@ -440,7 +441,7 @@ It is very easy to link your own applications and libraries with Microsoft SEAL
 Simply add the following to your `CMakeLists.txt`:
 
 ```PowerShell
-find_package(SEAL 3.7 REQUIRED)
+find_package(SEAL 4.0 REQUIRED)
 target_link_libraries(<your target> SEAL::seal)
 ```
 
@@ -524,6 +525,19 @@ For contributing to Microsoft SEAL, please see [CONTRIBUTING.md](CONTRIBUTING.md
 
 To cite Microsoft SEAL in academic papers, please use the following BibTeX entries.
 
+### Version 4.0
+
+```tex
+    @misc{sealcrypto,
+        title = {{M}icrosoft {SEAL} (release 4.0)},
+        howpublished = {\url{https://github.com/Microsoft/SEAL}},
+        month = mar,
+        year = 2022,
+        note = {Microsoft Research, Redmond, WA.},
+        key = {SEAL}
+    }
+```
+
 ### Version 3.7
 
 ```tex