Swiftness CairoVM 验证器

Swiftness 是一个受 StarkWare 的 Cairo0 中的 Cairo-verifier 启发，使用布局实现的 Rust Cairo-VM STARK 验证器。

入门指南

验证示例证明

1. 安装 swiftness

   cargo install -f --path cli/ --features starknet_with_keccak,keccak --no-default-features
   

2. 验证证明

   确保您使用与构建二进制文件所使用的布局和哈希对应的证明。

   swiftness --proof examples/proofs/starknet_with_keccak/cairo0_example_proof.json
   

3. 本地运行

   cd cli && cargo run --release --bin swiftness --features starknet_with_keccak,keccak --no-default-features -- --proof ../examples/proofs/starknet_with_keccak/cairo0_example_proof.json
   

运行测试

cargo test

WebAssembly (WASM) 设置

1. 安装 wasm-pack

   cargo install wasm-pack
   

2. 构建 WASM

   cd wasm_bindings && wasm-pack build --target web --features starknet_with_keccak,blake2s --no-default-features
   

功能

用法

• 命令行界面 (CLI)

实现布局

• dex
• recursive
• recursive_with_poseidon
• small
• starknet
• starknet_with_keccak

承诺哈希

• keccak
• blake2s

Web 支持

• WASM 支持
• Web 演示
• NPM 包
  • swiftness-dex-blake2s
  • swiftness-dex-keccak
  • swiftness-recursive-blake2s
  • swiftness-recursive-keccak
  • swiftness-recursive-with-poseidon-blake2s
  • swiftness-recursive-with-poseidon-keccak
  • swiftness-small-blake2s
  • swiftness-small-keccak
  • swiftness-starknet-blake2s
  • swiftness-starknet-keccak
  • swiftness-starknet-with-keccak-blake2s
  • swiftness-starknet-with-keccak-keccak

其他平台支持

• Bare Armv7-R, Big Endian - armebv7r-none-eabi
• Bare RISC-V (RV64IMAC ISA) - riscv64imac-unknown-none-elf
• Bare ARM64, softfloat - aarch64-unknown-none-softfloat
• Bare ARM64, hardfloat - aarch64-unknown-none

贡献

欢迎贡献！请随意打开问题或提交拉取请求以帮助改进此项目。