Lib.rs

› 关键词 #stark #cryptography #zero-knowledge-proofs #zero-knowledge #crypto

#zkp

  1. winter-verifier

    Winterfell STARK 验证器

    v0.9.0 9.9K #verifier #stark #zkp #cryptography #crypto

  2. winter-prover

    Winterfell STARK 证明者

    v0.9.0 10K #stark #prover #zkp #cryptography #intermediate-representation #crypto

  3. miden-verifier

    Miden VM 执行验证器

    v0.10.5 8.2K #miden #verifier #stark #zkp #zero-knowledge-proofs

  4. halo2_proofs

    无信任设置的快速 PLONK 基零知识证明系统

    v0.3.0 26K #zero-knowledge-proofs #zk-snarks #proofs #zkp #zk-proofs #proof #halo

  5. winterfell

    STARK 证明者和验证器

    v0.9.0 450 #stark #verifier #prover #zkp #cryptography #crypto

  6. snarkify-sdk

    Snarkify Rust SDK，用于简化的无服务器证明开发和部署

    v0.1.0-alpha.8 290 #prover #serverless #zkp #deployment #snarkify #cloud #services

  7. bp-pp

    Bulletproofs++ - 离散对数设置中的范围证明协议

    v0.1.1 #bulletproofs #zkp #rangeproofs #zeroknowledge #cryptography #crypto

  8. zshuffle

    加密和洗牌卡牌，生成随机顺序的牌组

    v0.1.2 140 #shuffle #zkp #zero-knowledge #public-key #game

  9. chaum_pedersen_auth

    使用 chaum pedersen 算法的 ZKP (零知识证明)

    v0.1.4 140 #zero-knowledge-proofs #grpc-server #grpc-client #proof #zkp #client-server #algorithm

  10. zkp-stark

    STARK ZK-证明系统

    v0.2.1 #stark #zkp #wasm #no-std

  11. uzkge

    具有各种小工具和原语的特定应用的 PlonK

    v0.1.2 #plonk #zkp #zero-knowledge #game

  12. zmatchmaking

    具有可证明的公平性和随机性的 PvP 游戏匹配制作

    v0.1.2 130 #zkp #matchmaking #zero-knowledge #game

  13. vade-evan

    为 vade 提供零知识证明 VC 和 TnT DID 处理

    v0.3.0 #did #vc #zkp #ssi #command-line-interface

  14. stealth-lib

    ZKP 的功能

    v0.1.4 #merkle-tree #zkp #hasher #stealth

  15. zkp

    用于自动生成 Schnorr 证明实现的工具包

    v0.8.0 #zero-knowledge-proofs #zero-knowledge #ristretto #compiler #cryptography #nizk #schnorr-signature

  16. air-script

    AirScript 语言编译器

    v0.3.0 #air #zero-knowledge #zkp #stark

  17. zk_database

    使 ZKP 能够应用于 NoSQL 数据库

    v0.1.2 #database #zkp #no-sql

  18. zkrisc

    基于 RISC-V 和 zkSNARK 的零知识 CPU

    v0.1.0 #mpc #zero-knowledge-proofs #zkp #vrf #risc #distributed #zkdb

  19. ark-msm

    基于 arkworks 的优化多标量乘法 (MSM) 库

    v0.3.0-alpha.1 #msm #zkp #cryptography

  20. air-codegen-winter

    Winterfell 代码生成器，用于 AirScript 语言

    v0.3.0 #air #zero-knowledge #zkp #stark #winterfell

  21. starknet-types-core

    Starknet 的核心类型表示

    v0.1.5 24K #stark #zkp #cairo

  22. miden-prover

    Miden VM 验证器

    v0.10.5 8.4K #miden #prover #stark #zkp

  23. vade-jwt-vc

    插件，用于基于 SECP256K1 曲线的简单 JWT 签名发布 VC

    v0.2.0 #vc #zkp #jwt #signature #curve #issue #plugin

  24. cairo-lang-test-utils

    在 Cairo 编译器项目中编写测试

    v2.7.1 23K #language #zero-knowledge-proofs #compiler #cairo #computation #zkp #general

  25. cairo-language-server

    Cairo 编程语言的执行语言服务器

    v2.7.1 290 #programming-language #language-server #executable #zero-knowledge-proofs #computation #zkp #general

  26. sierra-compile

    Sierra 中间表示的编译器执行文件

    v2.7.1 240 #sierra #executable #representation #compiler #intemediate #zkp #programs

  27. naruto

    RAMenPaSTA

    v0.1.0 #zkp #ramenpasta #cryptography

  28. air-script-core

    为AirScript编译器提供的核心类型

    v0.2.0 #air #zero-knowledge #stark #zkp

    29. 尝试使用DuckDuckGo进行搜索。

  29. air-parser

    AirScript语言的解析器

    v0.3.0 #air #zero-knowledge #zkp #stark #ast #syntax-tree

  30. zkp_grpc_server

    使用chaum pedersen算法的gRPC ZKP（零知识证明）服务器

    v0.1.0 #zero-knowledge-proofs #grpc-server #pedersen #proof #algorithm #zkp #chaum

  31. miden

    虚拟机

    v0.3.0 3.5K #vm #virtual-machine #stark #zkp #input-output

  32. vade-evan-bbs

    在evan中处理BBS加密套件的流程和签名创建

    v0.3.0 #bbs #vc #zkp #ssi

  33. air-ir

    为AirScript语言提供的中间表示

    v0.3.0 #intermediate-representation #stark #zero-knowledge #air #zkp

  34. zkp_grpc_client

    使用chaum pedersen算法的gRPC ZKP（零知识证明）客户端

    v0.1.0 #zero-knowledge-proofs #grpc-client #zkp #algorithm #proof #pedersen #chaum

  35. zkstd

    零知识证明标准库

    v0.0.22 210 #elliptic-curve #zkp #blockchain

  36. bls-12-381

    Bls12 381对友好曲线实现

    v0.0.23 160 #zkp #elliptic-curve #blockchain

  37. light-verifier

    Light协议中使用的ZKP证明验证器

    v0.3.0 180 #protocols #verifier #zkp #proof #light #solana #compression

  38. halo2_gadgets

    为Halo 2的可重复使用的设备和芯片实现

    v0.3.0 14K #zk-snarks #proofs #zkp #zcash #halo #zk-snark

  39. halo2

    [BETA] 无信任设置的快速零知识证明承载数据实现

    v0.1.0-beta.2 12K #zk-snarks #recursion #proofs #zkp #halo #recursive

  40. fastcrypto-zkp

    Mysten Labs使用的zk证明库

    v0.1.3 700 #zkp #groth16 #labs #benchmark #zk-proofs #blst #blockchain

  41. poly-commit

    多项式承诺实现

    v0.0.13 #zkp #elliptic-curve #blockchain

  42. jub-jub

    扭曲爱德华曲线实现

    v0.0.20 180 #zkp #elliptic-curve #blockchain

  43. air-codegen-masm

    AirScript语言的Miden汇编代码生成器

    v0.1.0 #air #stark #zero-knowledge #zkp #winterfell

  44. stark-felt

    Cairo的字段元素类型

    v0.0.2 #stark #zkp #type #crypto #math #cairo

  45. zkp_protobuf

    使用chaum pedersen算法的ZKP(零知识证明)的gRPC协议

    v0.1.0 #zkp #protocols #grpc #zero #pedersen #proof #knowledge

  46. ec-pairing

    Tate配对实现

    v0.0.14 #zkp #elliptic-curve #blockchain

  47. she-elgamal

    提升的ElGamal加密实现

    v0.0.12 #zkp #elliptic-curve #blockchain

  48. reclaim-solana

    Solana的Reclaim协议SDK

    v0.1.0 #anchor #solana #zkp

  49. wedpr_l_crypto_zkp_discrete_logarithm_proof

    WeDPR共享zkp函数实现离散对数证明

    v1.2.0 #proof #zkp #discrete #logarithm #shared