-
vsss-rs
用于分割、合并和验证秘密份额的可验证秘密共享方案
-
akd
可审计密钥目录
-
voprf
可验证的无知伪随机函数 (VOPRF)
-
warg-transparency
透明数据结构
-
curv-kzen
Curv 包含用于添加新椭圆曲线的极简单接口。使用此库进行通用椭圆曲线密码学
-
saver
具有重随机化功能的SNARK友好、加法同态和可验证加密与解密
-
vercre-issuer
可验证凭证发行的开源ID
-
vercre-dif-exch
DIF 展示交换规范
-
vercre-openid
开源ID数据模型
-
vercre-w3c-vc
可验证凭证构建块，包括依赖项
-
vercre-holder
符合OpenID的可验证凭证持有者API，通常由钱包实现
-
vercre-did
开源ID数据模型
-
ssi-claims
针对
ssi库的可验证声明 -
vercre-datasec
证明工具
-
risc0-r0vm
RISC Zero 零知识虚拟机可执行文件
-
vercre-verifier
适用于可验证呈现的OpenID
-
vsss-rs-std
用于分割、合并和验证秘密份额的可验证秘密共享方案
-
vercre-test-utils
测试工具
-
sn_curv
Curv 包含用于添加新椭圆曲线的极简单接口。使用此库进行通用椭圆曲线密码学
-
merkle-tree-bulletin-board
基于Merkle树公开公告板
-
ecvrf
curve25519+SHA3可验证随机函数
-
risc0-circuit-rv32im-sys
为rv32im电路生成的HAL代码
-
risc0-circuit-recursion-sys
为递归电路生成的HAL代码
-
spire-api
SPIRE API
-
vercre-core-utils
开源ID数据模型
-
proofmode
捕捉、分享和保存可验证的照片和视频
-
askar-storage
Hyperledger Aries Askar安全存储
-
merkle-tree-bulletin-board-backend-mysql
merkle-tree-bulletin-board的mysql后端
-
risc0-zkvm-verify
RISC Zero零知识VM验证crate
-
cryptoballot
基于密码学的端到端可验证在线投票
-
cargo-verify
为验证crate提供更友好的错误消息
-
aries-askar
Hyperledger Aries Askar安全存储
-
indy-vdr
与Hyperledger Indy节点交互，一个用于自我主权身份的分布式账本（https://www.hyperledger.org/use/hyperledger-indy）
-
verenc
Camenisch Shoup 可验证的离散日志加密和解密
-
ssi-claims-core
在
ssi库中的可验证声明的核心类型和特性 -
verilot
用于运行和检查可验证彩票的命令行工具
-
indy-data-types
Hyperledger Indy（https://www.hyperledger.org/projects）的常见数据类型，该系统为自我主权身份提供基于分布式账本的基础（https://sovrin.org）
-
verified
类型，以促进可验证rust的开发
-
solana-verify
构建可验证Solana程序的CLI工具
-
indy-credx
为Hyperledger Indy（https://www.hyperledger.org/projects）提供可验证凭证的发放和展示，该系统为自我主权身份提供基于分布式账本的基础（https://sovrin.org）
-
shamir_secret_sharing
有限域上的Shamir秘密共享
-
indy-utils
Hyperledger Indy（https://www.hyperledger.org/projects），为自我主权身份提供基于分布式账本的基础（https://sovrin.org）
-
data_chain
在去中心化网络中安全记录数据的方法
-
sb_functions_sdk
用于编写Switchboard可验证函数的SDK
-
iop-coeus-node
Hydraledger的Coeus层2插件实现
-
terrand
用于获取分布式随机信标的高级智能合约。作为服务提供可验证、不可预测且无偏的随机数。
-
indy-wql
Hyperledger Indy（https://www.hyperledger.org/projects）的钱包查询语言，它为自主权身份（https://sovrin.org）提供了一个基于分布式账本的基石。
-
vercre-core
已弃用：符合OpenID的Verifiable Credential核心类型和属性
-
indy-test-utils
测试Hyperledger Indy（https://www.hyperledger.org/projects），它为自主权身份（https://sovrin.org）提供了一个基于分布式账本的基石。
-
vercre-vp
已弃用：OpenID for Verifiable Presentations
-
verify_macro
一个自动使用逻辑类型界限对代码进行仪器化的属性
-
vercre-vci
已弃用：OpenID for Verifiable Credential Issuance
-
wedpr_s_verifiable_confidential_ledger
可验证保密账本（VCL）解决方案
尝试使用DuckDuckGo搜索site:lib.rs verifiable。