Bugfix: wedpr_vcl_prove_range in ffi_c_vcl

.github/workflows/vcl.yml → .github/workflows/default_test.yml

@@ -1,4 +1,4 @@
-name: Rust
+name: Default-Test
 
 on:
   push:
@@ -14,6 +14,6 @@ jobs:
       - name: Nightly default
         run: rustup default nightly
       - name: Build
-        run: cargo build --verbose
+        run: cargo build --all --all-targets --verbose
       - name: Run tests
         run: cargo test --verbose

.rustfmt.toml

@@ -5,7 +5,7 @@ format_strings = true
 indent_style = "Block"
 match_block_trailing_comma = true
 max_width = 80
-merge_imports = true
+imports_granularity = "Crate"
 normalize_comments = true
 normalize_doc_attributes = true
 overflow_delimited_expr = true

README.md

@@ -12,14 +12,114 @@ WeDPR具备以下特色和优势：
 
 WeDPR全面拥抱开放，将陆续开源一系列核心算法组件，进一步提升系统安全性的透明度，提供更透明、更可信的隐私保护效果。WeDPR-Lab就是这一系列开源的**核心算法组件**的集合。
 
-本次开源（v1.3.0版本），新增密钥生成及管理功能，具体包含以下核心算法组件：
- 1.	密钥生成及管理的核心算法，包括：
-     	密钥助记词的生成
-     	基于助记词的密钥生成
-     	基于分层结构的密钥派生
- 2.	Rust SDK，封装底层算法，提供易用、易扩展、跨语言的编程接口；
- 3.	FFI接口，支持交叉编译跨语言、跨平台所调用的FFI适配接口；
- 4.	其他基础工具代码。
+**WeDPR-Lab-Core v1.5.0版本**开源主要内容如下：
+- **多方密文决策ACV核心算法**，支持全密文决策、全流程可验证的多方隐私决策。
+
+- ACV场景式解决方案的一个**交互式样例**，实现以下主要功能：
+
+  - 密文空白选票的颁发
+
+  - 决策密文选票的生成
+
+  - 密文决策过程的零知识证明生成与验证
+
+  - 密文决策结果的汇总
+
+  - 汇总过程的零知识证明生成和验证
+
+  - 决策结果的验证
+
+- **Rust SDK**，封装底层算法，提供易用、易扩展、跨语言的编程接口；
+
+- 其他**基础工具**代码。
+
+
+**WeDPR-Lab-Core v1.4.0版本**开源主要内容如下：
+  - 将WeDPR-Lab Crypto v1.1.0新增的零知识证明的聚合验证算法运用于VCL公开可验证密文账本。
+
+  - 聚合验证算法在VCL中应用后的具体效果是：
+
+对于多组密文记录及其加和关系证明（或乘积关系证明），无需针对每个加和证明（或乘积证明）分别进行验证，而只需执行一次聚合验证，就可对所有加和证明（或乘积证明）进行验证。
+
+聚合验证算法通过减少开销较大的椭圆曲线点运算的个数，将VCL中对应零知识证明批量验证的效率提升了近60%。
+
+
+**WeDPR-Lab-Core v1.3.0版本**开源主要内容如下：
+
+- **密钥生成及管理的核心算法**，包括：
+
+  - 密钥助记词的生成
+
+  - 基于助记词的密钥生成
+
+  - 基于分层结构的密钥派生
+
+- **Rust SDK**，封装底层算法，提供易用、易扩展、跨语言的编程接口；
+
+- **FFI接口**，支持交叉编译跨语言、跨平台所调用的FFI适配接口；
+
+- 其他**基础工具**代码。
+
+
+**WeDPR-Lab-Core v1.2.0版本**开源主要内容如下：
+
+- **选择性认证披露SCD核心算法**，支持多种断言证明的高效稳定实现；
+
+- SCD场景式解决方案的一个**交互式样例**，实现以下主要功能：
+
+  - 选择性披露证书颁发
+
+  - 零知识断言披露证明
+
+  - 零知识断言披露验证
+
+  - 选择性属性明文披露和验证
+
+- **Rust SDK**，封装底层算法，提供易用、易扩展、跨语言的编程接口；
+
+- **FFI接口**，支持交叉编译跨语言、跨平台所调用的FFI适配接口；
+
+- 其他**基础工具**代码。
+
+
+**WeDPR-Lab-Core v1.1.0版本**开源主要内容如下：
+
+提供更为丰富的密码学算法组件，具体包括：
+
+- **密码算法组件**
+
+    - 签名验证
+
+    - 哈希算法
+
+    - 公钥加解密ECIES
+
+- **FFI接口**，新增支持交叉编译、跨语言、跨平台所调用的FFI适配接口。
+
+
+**WeDPR-Lab-Core v1.0.0版本**开源主要内容如下：
+
+- **公开可验证密文账本VCL**的一个**交互式样例**，实现以下主要功能：
+
+    - 密文金额发行
+
+    - 密文金额四则运算关系验证
+
+    - 密文金额范围验证
+
+- **三类零知识证明算法**的高效稳定实现，包括
+
+    - 密文加和关系证明
+
+    - 密文乘积关系证明
+
+    - 密文范围证明
+
+- **Rust SDK**，封装底层算法，提供易用、易扩展、跨语言的编程接口；
+
+- **FFI接口**，支持交叉编译跨语言、跨平台所调用的FFI适配接口；
+
+- 其他**基础工具**代码。
 
 
 我们期望能够通过代码开源的方式：

bounty/Cargo.toml

@@ -13,13 +13,13 @@ protobuf = "2.22.1"
 rand = "0.3.17"
 sha3 = "0.8"
 wedpr_l_crypto_zkp_discrete_logarithm_proof = "1.0.0"
-wedpr_l_crypto_zkp_range_proof = { git = "https://github.com/WeBankBlockchain/WeDPR-Lab-Crypto", branch = "main" }
+wedpr_l_crypto_zkp_range_proof = "1.2.0"
 wedpr_l_crypto_zkp_utils = "1.0.0"
 wedpr_l_macros = "1.0.0"
 wedpr_l_protos = "1.0.0"
 wedpr_l_utils = "1.0.0"
-wedpr_s_protos = "1.3.0"
-wedpr_s_selective_certificate_disclosure = "1.3.0"
+wedpr_s_protos = { path = "../protos" }
+wedpr_s_selective_certificate_disclosure = { path = "../solution/selective_certificate_disclosure" }
 
 wedpr_s_verifiable_confidential_ledger = { path = "../solution/verifiable_confidential_ledger" }
 

ffi/ffi_c/ffi_c_ktb/Cargo.toml

@@ -16,11 +16,9 @@ protobuf = "2.22.1"
 wedpr_ffi_common = "1.0.0"
 wedpr_ffi_macros = "1.0.0"
 wedpr_l_macros = "1.0.0"
-
+wedpr_s_hierarchical_deterministic_key = { path = "../../../solution/key_tool_box/hierarchical_deterministic_key" }
+wedpr_s_protos = { path = "../../../protos" }
 
 # This is required to generate C/C++ header files.
-wedpr_s_hierarchical_deterministic_key = "1.3.0"
-wedpr_s_protos = "1.3.0"
-
 [build-dependencies]
 cbindgen = "0.9.0"

ffi/ffi_c/ffi_c_scd/Cargo.toml

@@ -16,10 +16,9 @@ protobuf = "2.22.1"
 wedpr_ffi_common = "1.0.0"
 wedpr_ffi_macros = "1.0.0"
 wedpr_l_macros = "1.0.0"
+wedpr_s_protos = { path = "../../../protos" }
+wedpr_s_selective_certificate_disclosure = { path = "../../../solution/selective_certificate_disclosure" }
 
 # This is required to generate C/C++ header files.
-wedpr_s_protos = "1.3.0"
-wedpr_s_selective_certificate_disclosure = "1.3.0"
-
 [build-dependencies]
 cbindgen = "0.9.0"

ffi/ffi_c/ffi_c_vcl/Cargo.toml

@@ -16,11 +16,10 @@ protobuf = "2.22.1"
 wedpr_ffi_common = "1.0.0"
 wedpr_ffi_macros = "1.1.0"
 wedpr_l_macros = "1.0.0"
-
-# This is required to generate C/C++ header files.
 wedpr_l_protos = "1.1.0"
 wedpr_s_protos = { path = "../../../protos" }
 wedpr_s_verifiable_confidential_ledger = { path = "../../../solution/verifiable_confidential_ledger" }
 
+# This is required to generate C/C++ header files.
 [build-dependencies]
 cbindgen = "0.9.0"

ffi/ffi_c/ffi_c_vcl/src/lib.rs

@@ -279,7 +279,7 @@ pub extern "C" fn wedpr_vcl_verify_product_balance(
                 FAILURE
             ));
 
-        let result = match wedpr_s_verifiable_confidential_ledger::vcl::verify_sum_balance(
+        let result = match wedpr_s_verifiable_confidential_ledger::vcl::verify_product_balance(
             &c1_credit, &c2_credit, &c3_credit, &proof,
         ) {
             Ok(v) => v,
@@ -376,7 +376,7 @@ pub extern "C" fn wedpr_vcl_prove_range(
 
         let proof =
             wedpr_s_verifiable_confidential_ledger::vcl::prove_range(&secret);
-        c_safe_string_to_c_char_pointer!(proof)
+        c_safe_string_to_c_char_pointer!(bytes_to_string(&proof))
     });
     c_safe_return!(result)
 }

ffi/ffi_java/ffi_java_ktb/Cargo.toml

@@ -15,9 +15,10 @@ jni = "0.13.0"
 protobuf = "2.22.1"
 wedpr_ffi_common = "1.1.0"
 wedpr_ffi_macros = "1.1.0"
-wedpr_s_hierarchical_deterministic_key = "1.3.0"
-wedpr_s_protos = "1.3.0"
+wedpr_s_hierarchical_deterministic_key = { path = "../../../solution/key_tool_box/hierarchical_deterministic_key" }
+wedpr_s_protos = { path = "../../../protos" }
 
+# This is required to generate C/C++ header files.
 [build-dependencies]
 cbindgen = "0.9.0"
 

ffi/ffi_java/ffi_java_scd/Cargo.toml

@@ -16,9 +16,10 @@ wedpr_ffi_common = "1.0.0"
 wedpr_ffi_macros = "1.0.0"
 wedpr_l_protos = "1.0.0"
 
-wedpr_s_protos = "1.3.0"
-wedpr_s_selective_certificate_disclosure = "1.3.0"
+wedpr_s_protos = { path = "../../../protos" }
+wedpr_s_selective_certificate_disclosure = { path = "../../../solution/selective_certificate_disclosure" }
 
+# This is required to generate C/C++ header files.
 [build-dependencies]
 cbindgen = "0.9.0"
 

ffi/ffi_java/ffi_java_vcl/Cargo.toml

@@ -20,6 +20,7 @@ wedpr_l_protos = "1.1.0"
 wedpr_s_protos = { path = "../../../protos" }
 wedpr_s_verifiable_confidential_ledger = { path = "../../../solution/verifiable_confidential_ledger" }
 
+# This is required to generate C/C++ header files.
 [build-dependencies]
 cbindgen = "0.9.0"
 

protos/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "wedpr_s_protos"
-version = "1.4.0"
+version = "1.5.0"
 authors = [ "WeDPR <wedpr@webank.com>" ]
 edition = "2018"
 license = "Apache-2.0"