From c285945be55576aed0ffa7d12114d9d8daf297e6 Mon Sep 17 00:00:00 2001 From: flyq Date: Wed, 24 Apr 2024 21:45:02 +0800 Subject: [PATCH 1/2] Add Zero Knowledge Proof --- README.md | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 728e010..c7c8ca0 100644 --- a/README.md +++ b/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 From ed8245f7db9db6e6abea9b477d920f3bef423319 Mon Sep 17 00:00:00 2001 From: flyq Date: Wed, 24 Apr 2024 21:46:33 +0800 Subject: [PATCH 2/2] fix linkers --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index c7c8ca0..f4e6ad8 100644 --- a/README.md +++ b/README.md @@ -33,7 +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) +- [Zero Knowledge Proof](#zero-knowledge-proof) - [How it works / Deep dives](#how-it-works--deep-dives) - [Blogs](#blogs) - [Communities and Communication](#communities-and-communication)