doubiliu

We have prepared a demo. This is to prove that a&b=0 , a,b is private input

using System; using System.ComponentModel; using Neo.SmartContract.Framework; using Neo.SmartContract.Framework.Attributes; using Neo.SmartContract.Framework.Services; namespace BLSVerifyDemoContract { [DisplayName("BLSVerifyDemoContract")] [ManifestExtra("Author", "NGD")] [ManifestExtra("Email", "[email protected]")] [ManifestExtra("Description", "This is a verification demo of zk circuit")] [ContractPermission("*", "*")] public...

Use `invoke contracthash veify [{"type":"ByteArray","value":"AlidcPpIlaeMy1LgULIZp1FOhxbDumJyfy9POMZzBNZJq2G7DW8Bt9fHDIBOu3HRB5qyDAIkQur6mtWVSm8eeJNCzho8dx1D3BkHblko//BlNQmNaC2548y7z8uepOZ/"},{"type":"ByteArray","value":"B/byS67ab0A/GySx8Eh5Xic/N7DHpZgbszYDAwmFYbUQ621Sf6lCrmoQR2qDrx6vDZCrLtcVuO5Onw+5sQ0w5zOPy63VmqAB8uMCpHyQx2Knr3pyZokMMFSDAKmeN4DmEQMYuQPZZ6B+c8myrpLHiN0fNp3RAysVZbH0yIWciz5QRa8IeS4TMjMw1ssBYuIfEUVrwHVA60mya0SkxEbujnDnJBQ+LU4WU39nh973t1O5DTuVJJFa/luzV65sl2W3"},{"type":"ByteArray","value":"ANUMljD/MeKGiKKIijEh4oI56dq9Y/p0IVyjdrHYj67d4UlkXlTz5I4o9qLxMK+tCwqbS6ciwx4jjmPgpz+0OzK5t6IViis7ZCEkOoO7Dtzgltvna+cu23BdyK9S5sj2"},{"type":"Array","value":[{"type":"Integer","value":0}]}] `

It can be understood as the concept of reduced branch nodes.Ordinary nodes only need to keep the contract status area, and only need to synchronize the contract status area during...

> Where do these dynamic link libraries come from? The dynamic link uses the bellman library. For compatibility, we wrap a layer. Bellman link: [email protected]:zkcrypto/bellman.git Layer link: https://github.com/passer-byzhang/zk/tree/main/neo-zk-tools Bellman is...

At present, windows/linux/mac has been supported, I have added 3 kinds of dll, x86 needs additional compilation Since the original project is already wrapped with a rust project, do I...

> > Since the original project is already wrapped with a rust project, do I need to create a project and wrap it again? > > You need to create...

We need to discuss about the gas fee.

> Wait for [neo-project/neo-vm#488](https://github.com/neo-project/neo-vm/pull/488) Maybe we need to move forward

Still need to study the implementation details more carefully, choose a solution with higher engineering reliability, or based on the existing solution, and then compatible with subsequent solutions