Lib.rs

› 关键词 #zero-knowledge #zk-vm #blockchain #aleo #operating-system #decentralized

#zk

  1. sp1-recursion-gnark-cli

    SP1 是一个高性能、100% 开源、贡献者友好的 zkVM

    v1.1.1 410 #zk-vm #sp1 #zero-knowledge #succinct #zk #zkvm

  2. zookeeper-async

    异步 ZooKeeper 客户端

    v5.0.0 290 #zookeeper #distributed #async #zk #coordination

  3. zki_sieve

    SIEVE IR

    v4.0.1 #zero-knowledge #zk-proofs #intermediate-representation #zk #cryptography

  4. fermah

    网络

    v0.1.0 110 #zk #proofs #zero-knowledge #crypto #zero-knowledge-proofs #avs

  5. sp1-primitives

    SP1 是一个高性能、100% 开源、贡献者友好的 zkVM

    v1.1.1 3.8K #zk-vm #sp1 #zero-knowledge #succinct #zk #zkvm

  6. zookeeper

    最小化的 ZooKeeper 客户端

    v0.8.0 2.1K #distributed #zk #coordination

  7. paillier-zk

    Paillier 加密方案的 ZK-proofs

    v0.4.0 120 #zk-proofs #paillier #zero-knowledge #zero-knowledge-proofs #zk

  8. sp1-recursion-circuit

    SP1 是一个高性能、100% 开源、贡献者友好的 zkVM

    v1.1.1 3.7K #zk-vm #sp1 #zero-knowledge #succinct #zk #zkvm

  9. swiftness_stark

    Swiftness - Rust CairoVM 验证器实现

    v0.0.8 500 #verifier #cairo-vm #stark #swiftness #zk

  10. zk

    零知识密码学特性

    v0.1.1 #zero-knowledge #traits #zero-knowledge-proofs #cryptography #proof

  11. zkinterface

    zkInterface 的实现

    v1.3.4 #zero-knowledge #zero-knowledge-proofs #zk-proofs #cryptography #zk

  12. reverie-zk

    2018 年 KKW 中概述的 NIZKPoK 的有效实现

    v0.3.2 #zero-knowledge #cryptography #zk #signature #crypto

  13. arcturus

    保密交易零知识证明

    v0.4.0 160 #zero-knowledge-proofs #zero-knowledge #zk #cryptography #no-std #crypto

  14. snarkos

    一个去中心化操作系统

    v2.2.7 240 #operating-system #zero-knowledge #aleo #blockchain #zk #os #decentralized

  15. icicle-core

    Ingonyama的GPU ZK加速

    v1.3.0 #gpu #acceleration #cuda #zk #ingonyama

  16. mopro-ffi

    Mopro是一个用于移动端ZK应用开发的工具包。Mopro使得移动端的客户端证明变得简单。

    v0.1.0 130 #mobile #proving #zk #client-side #mopro #toolkit #circom

  17. solana-zk-token-sdk

    Solana Zk Token SDK

    v2.0.7 136K #token #solana #zk #component #build #source

  18. paladin-core

    分布式算法工具包。在不涉及分布式系统编程复杂性的情况下编写分布式算法。

    v0.4.2 2.0K #distributed #distributed-systems #cluster #compute #zk #task-execution #map-reduce

  19. solana-zk-token-proof-program

    Solana Zk Token Proof Program

    v2.0.7 25K #proof #solana #token #blockchain #zk #process #install

  20. snarkos-node-bft

    去中心化操作系统的内存池

    v2.2.7 #zero-knowledge #aleo #memory-pool #blockchain #operating-system #zk #decentralized

  21. solana-zk-sdk

    Solana ZK SDK

    v2.0.7 9.7K #proof #zk #solana #data #verify #encryption #component

  22. evm_arithmetization

    Ethereum虚拟机的STARKs

    v0.4.0 #stark #plonky2 #zk #ethereum #cpu-memory #cryptography

  23. snarkos-node-tcp

    去中心化操作系统的TCP堆栈

    v2.2.7 #zero-knowledge #aleo #tcp-connection #blockchain #operating-system #zk #decentralized

  24. solana-zk-elgamal-proof-program

    Solana Zk ElGamal Proof Program

    v2.0.7 9.6K #solana #proof #elgamal #zk #process #install #version

  25. snarkos-node

    去中心化操作系统的节点

    v2.2.7 #aleo #zero-knowledge #blockchain #operating-system #zk #decentralized #os

    26. 尝试使用DuckDuckGo搜索。搜索.

  26. sp1-lib

    SP1 是一个高性能、100% 开源、贡献者友好的 zkVM

    v1.1.1 3.9K #zk-vm #sp1 #zero-knowledge #succinct #zk #zkvm

  27. miraland-zk-token-sdk

    Miraland Zk Token SDK

    v1.18.3 490 #token #zk #miraland

  28. snarkos-node-router

    去中心化操作系统的节点路由器

    v2.2.7 #aleo #zero-knowledge #blockchain #operating-system #zk #decentralized #os

  29. sp1-helper

    使用构建脚本构建SP1程序

    v1.1.1 3.2K #build-script #sp1 #zk-vm #zero-knowledge #succinct #zk #zkvm

  30. snarkos-node-metrics

    去中心化操作系统的节点

    v2.2.7 #aleo #zero-knowledge #blockchain #operating-system #zk #decentralized #os

  31. sp1-core

    SP1 是一个高性能、100% 开源、贡献者友好的 zkVM

    v1.1.1 3.1K #sp1 #zk-vm #zero-knowledge #succinct #zk #zkvm

  32. snarkos-node-bft-events

    去中心化操作系统中网关的事件

    v2.2.7 #aleo #zero-knowledge #blockchain #operating-system #zk #decentralized #os

  33. snarkos-cli

    去中心化操作系统的CLI

    v2.2.7 #aleo #zero-knowledge #blockchain #operating-system #zk #decentralized #os

  34. proof_gen

    从零证明IR生成区块证明

    v0.4.0 #plonky2 #zk #stark #ethereum #cryptography

  35. z4

    Z4游戏框架的命令工具

    v0.1.0 #framework #zk #game #tool #command

  36. snarkos-node-router-messages

    去中心化操作系统的节点消息

    v2.2.7 #aleo #zero-knowledge #blockchain #operating-system #zk #decentralized #os

  37. snarkos-node-sync

    去中心化操作系统的同步模块

    v2.2.7 #aleo #zero-knowledge #blockchain #operating-system #zk #decentralized #os

  38. swiftness_air

    Swiftness - Rust CairoVM 验证器实现

    v0.0.8 470 #stark #verifier #cairo-vm #air #zk #swiftness

  39. trace_decoder

    Ethereum节点见证者 -> 验证者输入

    v0.6.0 240 #plonky2 #zk #ethereum #stark #cryptography

  40. sp1-recursion-core

    SP1 是一个高性能、100% 开源、贡献者友好的 zkVM

    v1.1.1 3.8K #virtual-machine #zk-vm #zero-knowledge #sp1 #succinct #zk #zkvm

  41. snarkos-node-consensus

    去中心化操作系统的节点共识

    v2.2.7 #零知识 #aleo #区块链 #操作系统 #zk #去中心化 #os

  42. snarkos-account

    去中心化操作系统的账户

    v2.2.7 #aleo #zero-knowledge #blockchain #operating-system #zk #decentralized #os

  43. snarkos-node-messages

    去中心化操作系统的节点消息

    v2.1.7 250 #零知识 #aleo #区块链 #操作系统 #zk #去中心化 #os

  44. snarkos-node-cdn

    去中心化操作系统的CDN客户端

    v2.2.7 #aleo #zero-knowledge #blockchain #operating-system #zk #decentralized #os

  45. sp1-recursion-compiler

    SP1 是一个高性能、100% 开源、贡献者友好的 zkVM

    v1.1.1 3.2K #sp1 #zk-vm #零知识 #简洁 #zk #zkvm

  46. snarkos-node-sync-communication-service

    去中心化操作系统同步模块的通信服务

    v2.2.7 #aleo #zero-knowledge #blockchain #operating-system #zk #decentralized #os

  47. miraland-zk-token-proof-program

    Miraland Zk Token Proof Program

    v1.18.3 360 #证明 #令牌 #zk #miraland #个人 #主权 #web3

  48. snarkos-node-sync-locators

    同步去中心化操作系统的定位器

    v2.2.7 100 #aleo #零知识 #区块链 #操作系统 #zk #去中心化 #os

  49. sp1-prover

    SP1 是一个高性能、100% 开源、贡献者友好的 zkVM

    v1.1.1 3.7K #zk-vm #sp1 #零知识 #简洁 #zk #zkvm

  50. zookeeper-zk

    最小化的 ZooKeeper 客户端

    v0.7.3 #zookeeper #zk #分布式 #协调

  51. sp1-recursion-program

    SP1 是一个高性能、100% 开源、贡献者友好的 zkVM

    v1.1.1 3.7K #zk-vm #零知识 #sp1 #简洁 #zk #zkvm

  52. snarkos-node-bft-ledger-service

    去中心化操作系统内存池的账本服务

    v2.2.7 #aleo #零知识 #区块链 #内存池 #操作系统 #zk #去中心化

  53. sp1-sdk

    SP1 是一个高性能、100% 开源、贡献者友好的 zkVM

    v1.1.1 3.7K #zk-vm #sp1 #零知识 #简洁 #zk #zkvm

  54. snarkos-display

    去中心化操作系统的显示

    v2.2.7 #aleo #zero-knowledge #blockchain #operating-system #zk #decentralized #os

  55. snarkos-node-env

    snarkOS的执行环境信息

    v2.1.7 220 #aleo #零知识 #区块链 #zk #os #去中心化 #密码学

  56. sp1-recursion-derive

    SP1 是一个高性能、100% 开源、贡献者友好的 zkVM

    v1.1.1 1.9K #sp1 #zk-vm #零知识 #简洁 #zk #zkvm

  57. snarkos-node-rest

    去中心化虚拟机的REST API服务器

    v2.2.7 #零知识 #aleo #区块链 #zk #去中心化 #操作系统 #密码学

  58. smt_trie

    用于构建/使用Polygon Hermez稀疏Merkle树的类型和实用函数

    v0.1.1 230 #stark #plonky2 #zk #Merkle树 #以太坊 #密码学

  59. swiftness_fri

    Swiftness - Rust CairoVM 验证器实现

    v0.0.8 440 #验证器 #cairo-vm #stark #zk #swiftness #fri

  60. sp1-recursion-gnark-ffi

    SP1 是一个高性能、100% 开源、贡献者友好的 zkVM

    v1.1.1 3.8K #zk-vm #sp1 #零知识 #简洁 #zk #zkvm

  61. light-system-program

    Solana上的ZK压缩

    v0.5.0 140 #zk #压缩 #系统 #solana #协议 #light #树

  62. safe-zk-token-sdk

    Safecoin Zk Token SDK

    v1.14.17 260 #令牌 #safecoin #zk #更新 #组件 #添加 #构建

  63. snarkos-rpc

    去中心化操作系统的RPC

    v1.3.17 #aleo #零知识 #区块链 #操作系统 #zk #json-rpc-server #os

  64. waffles-solana-zk-token-sdk

    Waffle Labs维护的Solana Zk Token SDK

    v1.16.0 350 #solana #令牌 #zk #labs #更新 #组件 #添加

  65. swiftness_pow

    Swiftness - Rust CairoVM 验证器实现

    v0.0.8 480 #验证器 #cairo-vm #证明 #zk #swiftness

  66. plume_rustcrypto

    PLUME：基于ECDSA的nullifier友好签名方案；使用k256库

    v0.2.1 170 #ecdsa #plume #零知识 #nullifier #签名方案 #zk

  67. light-utils

    Light协议中使用的常用实用函数

    v0.3.0 260 #协议 #light #zk

  68. swiftness_proof_parser

    Swiftness的Json证明解析器 - Rust CairoVM验证器实现

    v0.0.8 500 #验证器 #证明 #解析器 #swiftness #cairo-vm #zk #stark

  69. snarkos-node-bft-storage-service

    去中心化操作系统内存池的存储服务

    v2.2.7 #aleo #零知识 #区块链 #存储服务 #内存池 #操作系统 #zk