Add Zero Knowledge Proof (#147)

* Add Zero Knowledge Proof

* fix linkers

README.md

@@ -33,6 +33,7 @@ The [Internet Computer](https://internetcomputer.org/) is a public blockchain th
 - [Multi-chain Infrastructure and Applications](#multi-chain-infrastructure-and-applications)
 - [Internet of Things](#internet-of-things)
 - [AI](#ai)
+- [Zero Knowledge Proof](#zero-knowledge-proof)
 - [How it works / Deep dives](#how-it-works--deep-dives)
 - [Blogs](#blogs)
 - [Communities and Communication](#communities-and-communication)
@@ -487,7 +488,12 @@ For Unreal Engine-compatible client libraries, see [C++ agents](#C++).
 - [Tensorflow on ICP](https://github.com/carlosarturoceron/decentAI) - An example that loads and uses a pre-trained model for predictions within a canister running on ICP using Azle. 
 - [MotokoLearn](https://github.com/ildefons/motokolearn) - A Motoko package meant to facilitate on-chain training and inference of machine learning models where having a large GPU is not a requirement.
 - [Tract-IC-AI](https://github.com/jeshli/tract-ic-ai) - An ICP version of Tract, a tiny, no-nonsense, self-contained, Tensorflow and ONNX inference toolkit.
-- [Rust-Connect-Py-AI-to-IC](https://github.com/jeshli/rust-connect-py-ai-to-ic) - A streamlined open-source tool for deploying Python AI models on ICP. 
+- [Rust-Connect-Py-AI-to-IC](https://github.com/jeshli/rust-connect-py-ai-to-ic) - A streamlined open-source tool for deploying Python AI models on ICP.
+
+## Zero Knowledge Proof
+- [icp-zk-maze](https://github.com/zCloak-Network/icp-zk-maze) - ZK Maze is a ZK coprocessor developed by zCloak. ZK coprocessor offloads intensive Zero-Knowledge (ZK) computations from traditional blockchains, enabling the creation and verification of Zero-Knowledge Proofs (ZKPs) without revealing private information.
+- [Jolt Verifier Canister](https://github.com/flyq/jolt_verifier_canister) - A Canister which can verify the proof generated by [Jolt](https://github.com/a16z/jolt) zkVM.
+- [Pado zkAttestations](https://github.com/pado-labs/pado-icp) - A The main functionalities provided by zkAttestations are creating attestations from the PADO extension, and recording attestations on the IC network. In addition, the basic attestation framework created in this project supports developers in creating their attestation-based dApps.
 
 ## How it works / Deep dives