#miden

  1. miden-air

    Miden VM 处理器的代数中间表示

    v0.10.5 8.4K #air #miden #arithmetization #intermediate-representation #cryptography #crypto
  2. miden-verifier

    Miden VM 执行验证器

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

    Miden HIR 类型

    v0.1.0 #miden #compiler #intermediate-representation #hir #assembly #high-level #wasm
  4. miden-faucet

    Miden 节点令牌水龙头

    v0.4.0 #miden #faucet #node
  5. miden-formatting

    Miden 使用的多功能美化打印和显示格式化工具

    v0.1.1 2.2K #miden #pretty-print #prettier #value-formatting
  6. miden-rpc-proto

    Miden 节点 RPC 消息定义

    v0.4.0 750 #miden #protobuf #no-alloc #rpc #node #file-content
  7. midenc-hir-macros

    Miden IR 的过程宏支持

    v0.0.2 120 #miden #compiler #hir #ir #assembly #midenc #convert
  8. miden-processor

    Miden VM 处理器

    v0.10.5 8.5K #miden #vm #virtual-machine
  9. miden-assembly

    Miden VM 汇编语言

    v0.10.5 8.4K #assembly #miden #language
  10. miden-prover

    Miden VM 证明器

    v0.10.5 8.2K #miden #prover #stark #zkp
  11. miden-node-utils

    Miden 节点的共享工具

    v0.4.0 100 #miden #utilities #utils #node
  12. miden-stdlib

    Miden VM 标准库

    v0.10.5 8.2K #miden #stdlib #program
  13. miden-node

    Miden 节点二进制文件

    v0.4.0 #miden #rollup #operator #binary #running #node #reference
  14. 尝试使用DuckDuckGo进行搜索。

  15. miden-tx

    Miden rollup交易编译器、执行器和验证器

    v0.4.0 180 #miden #transaction #data-store #executor #rollup #account #prover
  16. miden-objects

    Miden rollup的核心组件

    v0.4.0 250 #miden #account #assets #object #notes #transaction #block
  17. miden

    虚拟机

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

    便于与Miden rollup交互的客户端库

    v0.4.1 #miden #rollup #store #facilitate #interaction #rpc-client #programmatically
  19. miden-diagnostics

    Polygon Miden编译器的诊断基础设施

    v0.1.0 240 #compiler #miden #diagnostics #spans #source #infrastructure #polygon
  20. miden-lib

    Miden rollup的标准库

    v0.4.0 220 #miden #kernel #transaction #smart-contracts
  21. miden-node-store

    Miden节点的状态存储组件

    v0.4.0 #miden #store #node #serve
  22. miden-cli

    便于与Miden rollup交互的CLI二进制应用程序

    v0.4.0 180 #miden #cli #client
  23. miden-node-block-producer

    Miden节点的区块生产者组件

    v0.4.0 #miden #block-producer #node
  24. miden-node-rpc

    Miden节点的前端RPC服务器

    v0.4.0 #miden #rpc-server #rpc #node
  25. miden-core

    Miden VM核心组件

    v0.10.5 9.5K #miden #instruction-set #program #programs
  26. miden-node-proto

    Miden节点消息定义(存储、区块生产者和RPC)

    v0.4.0 #protobuf #miden #rpc #node
  27. midenc-hir-transform

    Miden HIR的转换过程和实用工具

    v0.0.1 #miden #assembly #hir #transformation #passes #ir #documentation
  28. midenc-codegen-masm

    Miden编译器的Miden汇编后端

    v0.0.1 #miden #assembly #documentation #compiler #emit #midenc #target
  29. miden-base-sys

    Miden rollup Rust 绑定和 MASM 库

    v0.0.1 140 #miden #compiler #assembly #rollup #compile #masm #build
  30. midenc-hir-analysis

    Miden HIR 分析过程和工具

    v0.0.1 #miden #compiler #hir #assembly #analysis #ensure #midenc
  31. miden-stdlib-sys

    Miden 标准库的底层 Rust 绑定

    v0.0.1 120 #miden #compiler #standard #element #low-level #felt #bindings
  32. midenc-hir-type

    Miden HIR 类型系统和工具

    v0.0.1 160 #miden #compiler #hir #assembly #midenc #following #how
  33. miden-diagnostics-macros

    为 miden-diagnostics 提供宏支持的 crate

    v0.1.0 250 #miden #compiler #diagnostics #spans #miden-diagnostics