Merge pull request #835 from Zkvers/master

Add Zkverse Milestone1 deliver

deliveries/Zkverse_Milestone_1.md

@@ -0,0 +1,23 @@
+# Milestone Delivery :mailbox:
+
+**The [invoice form :pencil:](https://docs.google.com/forms/d/e/1FAIpQLSfmNYaoCgrxyhzgoKQ0ynQvnNRoTmgApz9NrMp-hd8mhIiO0A/viewform) has been filled out correctly for this milestone and the delivery is according to the official [milestone delivery guidelines](https://github.com/w3f/Grants-Program/blob/master/docs/Support%20Docs/milestone-deliverables-guidelines.md).**  
+
+* **Application Document:** https://github.com/w3f/Grants-Program/blob/master/applications/zkverse.md
+* **Milestone Number:** 1
+
+**Context**
+This deliver focus on how to verify the proof generated by snarkjs on substrate-based chain and provide some practice about the zk circuits.
+
+| Number | Deliverable | Link | Notes |
+| ------------- | ------------- | ------------- |------------- |
+| 0a. | License |https://github.com/Zkvers/substrate-zk/blob/master/LICENSE| Apache License| 
+| 0b.  | Documentation |https://github.com/Zkvers/substrate-zk/blob/master/zk-tutorials/proof-system/groth16/theory_to_practice.md| This doc will show how to practise the zk example| 
+| 0c.  | Testing Guide |https://github.com/Zkvers/substrate-zk| Test the pallet function|
+| 0d.  | Docker |https://github.com/Zkvers/substrate-zk/blob/master/docker-compose.yml| Docker yaml file|
+| 1.  | make groth16 compatible with substrate |https://github.com/Zkvers/substrate-zk/tree/master/bellman-verifier| make the bellman to adapt the substrate with no_std|
+| 2.  | adapt snarkjs and bellman |https://github.com/Zkvers/snarkjs-bellman-adapter/tree/main| adapt the snarkjs and bellman with some circuit examples|
+| 3.  | ZKP education |https://github.com/Zkvers/substrate-zk/tree/master/zk-tutorials|Introduce the background knowledge of zk and the theory of groth16, and practice it through specific examples. |
+
+
+**Additional Information**   
+In this milestone, we have implemented the complete zkp verification process, generating proofs with snarkjs, verifying them with bellman, and demonstrating how zkp works through specific circuits. This helps developers better understand how to use zkp in practical applications within the Polkadot ecosystem. Specifically, we have implemented the simplest Merkle tree circuit in rollup. In the following milestones, we will further improve this circuit to include account properties.