Search

Lib.rs

› Cryptography › Magic Beans
#aleo #zero-knowledge #blockchain #decentralized #virtual-machine #cryptography

snarkvm-synthesizer-debug

Synthesizer for a decentralized virtual machine

by Provable. Owned by HerrKung3.

  • Install
  • API reference
  • Source
  • Repository link
  • Home (aleo.org)

1 unstable release

0.16.17 Jan 2, 2024

#129 in #aleo


Used in 2 crates

Apache-2.0 and GPL-3.0 licenses

315KB
4.5K SLoC

snarkvm-synthesizer

Crates.io Authors License

Dependencies

~28–42MB
~503K SLoC

  • aleo-std
  • anyhow
  • indexmap 2.0+serde+rayon
  • parking_lot
  • rand
  • default rayon
  • snarkvm-algorithms =0.16.15
  • snarkvm-circuit =0.16.15
  • snarkvm-console =0.16.15
  • snarkvm-ledger-block =0.16.15
  • snarkvm-ledger-coinbase =0.16.15
  • snarkvm-ledger-committee =0.16.15
  • snarkvm-ledger-query =0.16.15+query
  • snarkvm-ledger-store =0.16.15
  • async? process serial? wasm? snarkvm-synthesizer-process =0.16.15
  • program serial? wasm? snarkvm-synthesizer-program =0.16.15
  • serial? snark wasm? snarkvm-synthesizer-snark =0.16.15
  • tracing
  • dev criterion 0.5
  • dev itertools 0.11
  • dev once_cell
  • dev serde_json+preserve_order
  • dev serde_yaml 0.9
  • dev walkdir

Other features

  • aleo-cli
  • cuda
  • setup
  • test
  • timer
Related: snarkvm-ledger-debug, snarkvm-debug
See also: ark-bls12-381, bulletproofs, ark-groth16, ark-snark, ark-ed-on-bn254, ark-relations, ark-r1cs-std, ark-ed-on-mnt4-753, ark-grumpkin, sppark, snarkvm

Lib.rs is an unofficial list of Rust/Cargo crates, created by kornelski. It contains data from multiple sources, including heuristics, and manually curated data. Content of this page is not necessarily endorsed by the authors of the crate. This site is not affiliated with nor endorsed by the Rust Project. If something is missing or incorrect, please file a bug.