Lib.rs

› 关键词 #zkp #verifier #cryptography #prover #zero-knowledge #vm #crypto #air

#stark

  1. winter-verifier

    Winterfell STARK 验证器

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

  2. winter-prover

    Winterfell STARK 推理器

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

  3. triton-vm

    带有代数执行表（AET）和算术中间表示（AIR）的虚拟机，用于与 STARK 证明系统结合使用，以允许证明正确...

    v0.42.0-alpha.9 410 #virtual-machine #intermediate-representation #zero-knowledge-proofs #stark #vm #zero-knowledge #recursion

  4. winter-utils

    Winterfell STARK 推理器/验证器

    v0.9.1 12K #serialization #stark #transmute #deserialize #iterator #prover #verifier

  5. miden-verifier

    Miden VM 执行验证器

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

  6. p3-uni-stark

    Plonky3 的用于基本 STARK 的端到端推理库

    v0.2.0 8.8K #stark #univariate #prover #basic #plonky3 #end-to-end

  7. winterfell

    STARK 推理器和验证器

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

  8. risc0-tools

    RISC Zero 开发工具

    v1.1.0-rc.2 500 #virtual-machine #risc-v #zero-knowledge #risc0 #stark #cryptography #platform

  9. p3-lde

    Plonky3 是一个用于实现多项式 IOPs（PIOPs）的工具包，例如 PLONK 和 STARKs

    v0.1.3-succinct #piop #polynomial #scheme #commitment #stark #plonk #plonky3

  10. zkp-stark

    STARK ZK-证明系统

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

  11. swiftness_stark

    速度 - Rust CairoVM 验证器实现

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

  12. miden-gpu

    Miden VM 验证器的 GPU 加速

    v0.2.0 #gpu #stark #winterfell

  13. air-script

    AirScript 语言编译器

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

  14. ministark-gpu

    STARK/SNARK 验证器常用的 GPU 优化原语

    v0.3.0 #gpu #stark #arkworks #snark #winterfell #programming-language

  15. triton-profiler

    针对 Triton-VM 的通用分析器

    v0.30.0 #virtual-machine #triton #triton-vm #proof #stark #system #air

  16. air-codegen-winter

    AirScript 语言的 Winterfell 代码生成器

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

  17. starknet-types-core

    Starknet 的核心类型表示

    v0.1.5 24K #stark #zkp #cairo

  18. miden-prover

    Miden VM 验证器

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

  19. evm_arithmetization

    Ethereum 虚拟机的 STARKs

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

  20. air-script-core

    AirScript 编译器的核心类型

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

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

  21. proof_gen

    从零证明 IR 生成区块证明

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

  22. swiftness_air

    速度 - Rust CairoVM 验证器实现

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

  23. trace_decoder

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

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

  24. swiftness

    CairoVM 验证器实现

    v0.0.8 450 #verifier #proof #cairo-vm #stark #keccak #json #starknet

  25. air-parser

    用于AirScript语言的解析器

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

  26. miden

    虚拟机

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

  27. stark_evm_adapter

    一个用于将STARK证明适配到EVM的lib/CLI库

    v0.1.5 #proof #evm #stark #annotated #split #annotations #adapter

  28. air-ir

    用于AirScript语言的中间表示

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

  29. smt_trie

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

    v0.1.1 230 #stark #plonky2 #zk #merkle-tree #ethereum #cryptography

  30. swiftness_fri

    速度 - Rust CairoVM 验证器实现

    v0.0.8 440 #verifier #cairo-vm #stark #zk #swiftness #fri

  31. swiftness_transcript

    速度 - Rust CairoVM 验证器实现

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

  32. swiftness_proof_parser

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

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

  33. air-codegen-masm

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

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

  34. stark-felt

    Cairo的字段元素类型

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

  35. stark

    闪电般快的静态网站生成器

    v0.1.1 #hugo #static-site-generator #jekyll #static-site #zola #generator

  36. risc0-zeroio-derive

    risc0-zeroio的推导宏

    v1.0.0-rc.2 #risc0 #zero-knowledge #risc-v #virtual-machine #stark #cryptography #macro