restore some files to master

.github/workflows/ci.yml

@@ -96,7 +96,7 @@ jobs:
         with:
           use-cross: true
           command: build
-          args: --no-default-features --target aarch64-unknown-none --lib
+          args: --no-default-features --target aarch64-unknown-none
 
       - name: Check
         uses: actions-rs/cargo@v1

README.md

@@ -39,11 +39,6 @@ This library comes with some unit and integration tests. Run these tests with:
 cargo test
 ```
 
-There are also a number of benchmarks. Run these benchmarks with:
-```bash
-cargo bench --features "benches"
-```
-
 Lastly, this library is instrumented with profiling infrastructure that prints detailed traces of execution time. To enable this, compile with `cargo build --features print-trace`.
 
 ## Usage
@@ -186,7 +181,6 @@ Unless you explicitly state otherwise, any contribution that you submit to this
 [aurora-light]: https://ia.cr/2019/601
 [pcd-acc]: https://ia.cr/2020/499
 [pst]: https://ia.cr/2011/587
-[ligero]: https://ia.cr/2022/1608
 
 ## Reference papers
 
@@ -214,10 +208,6 @@ TCC 2020
 Charalampos Papamanthou, Elaine Shi, Roberto Tamassia   
 TCC 2013
 
-[Ligero: Lightweight Sublinear Arguments Without a Trusted Setup][ligero]    
-Scott Ames, Carmit Hazay, Yuval Ishai, Muthuramakrishnan Venkitasubramaniam    
-CCS 2017
-
 ## Acknowledgements
 
 This work was supported by: an Engineering and Physical Sciences Research Council grant; a Google Faculty Award; the RISELab at UC Berkeley; and donations from the Ethereum Foundation and the Interchain Foundation.