strata/proof/Cargo.toml

[package]
name = "strata-proof"
version.workspace = true
edition.workspace = true
license-file = "../LICENSE"
description = "proof system traits: Reduce, Dot — for lens and zheng"
repository.workspace = true
rust-version.workspace = true
keywords = ["algebra", "fiat-shamir", "zk", "crypto"]
categories = ["cryptography"]

[dependencies]
strata-core.workspace = true

Synonyms

nox/Cargo.toml

optica/Cargo.toml

rs/Cargo.toml

cw-cyber/Cargo.toml

zheng/Cargo.toml

trident/Cargo.toml

honeycrisp/Cargo.toml

bbg/Cargo.toml

lens/Cargo.toml

radio/Cargo.toml

hemera/Cargo.toml

strata/Cargo.toml

strata/compute/Cargo.toml

rs/rsc/Cargo.toml

lens/binius/Cargo.toml

radio/iroh-base/Cargo.toml

hemera/bench/Cargo.toml

radio/iroh-blobs/Cargo.toml

cyb/cyb-boot/Cargo.toml

radio/iroh-ffi/Cargo.toml

hemera/wgsl/Cargo.toml

radio/particle/Cargo.toml

rs/macros/Cargo.toml

radio/iroh-gossip/Cargo.toml

cyb/src-tauri/Cargo.toml

honeycrisp/rane/Cargo.toml

honeycrisp/unimem/Cargo.toml

lens/src/Cargo.toml

rs/core/Cargo.toml

radio/radio-cli/Cargo.toml

strata/core/Cargo.toml

cyb/cyb/Cargo.toml

nox/rs/Cargo.toml

hemera/cli/Cargo.toml

radio/iroh-dns-server/Cargo.toml

nox/cli/Cargo.toml

hemera/rs/Cargo.toml

radio/iroh-docs/Cargo.toml

lens/ikat/Cargo.toml

lens/core/Cargo.toml

radio/iroh-car/Cargo.toml

strata/ext/Cargo.toml

nox/metal/Cargo.toml

radio/cyber-bao/Cargo.toml

strata/src/Cargo.toml

radio/iroh/Cargo.toml

bostrom-mcp/rust/Cargo.toml

rs/mir-format/Cargo.toml

radio/iroh-willow/Cargo.toml

radio/iroh-relay/Cargo.toml

lens/assayer/Cargo.toml

honeycrisp/aruminium/Cargo.toml

honeycrisp/acpu/Cargo.toml

lens/brakedown/Cargo.toml

lens/porphyry/Cargo.toml

cw-cyber/contracts/std-test/Cargo.toml

strata/genies/cli/Cargo.toml

strata/jali/rs/Cargo.toml

cw-cyber/contracts/hub-channels/Cargo.toml

cw-cyber/contracts/hub-libs/Cargo.toml

strata/kuro/cli/Cargo.toml

cw-cyber/contracts/litium-core/Cargo.toml

cw-cyber/contracts/litium-refer/Cargo.toml

cyb/cyb/cyb-services/Cargo.toml

strata/nebu/rs/Cargo.toml

radio/iroh-ffi/iroh-js/Cargo.toml

cw-cyber/contracts/cw-cyber-subgraph/Cargo.toml

cw-cyber/packages/cyber-std-test/Cargo.toml

rs/tests/macro-integration/Cargo.toml

strata/kuro/rs/Cargo.toml

strata/nebu/wgsl/Cargo.toml

cw-cyber/contracts/graph-filter/Cargo.toml

cw-cyber/contracts/litium-wrap/Cargo.toml

radio/tests/integration/Cargo.toml

strata/trop/rs/Cargo.toml

honeycrisp/aruminium/benches/Cargo.toml

cw-cyber/contracts/hub-tokens/Cargo.toml

strata/trop/wgsl/Cargo.toml

radio/iroh/bench/Cargo.toml

cw-cyber/contracts/cw-cyber-gift/Cargo.toml

cw-cyber/contracts/litium-mine/Cargo.toml

cyb/cyb/cyb-ui/Cargo.toml

trident/editor/zed/Cargo.toml

cw-cyber/contracts/cw-cyber-passport/Cargo.toml

strata/jali/cli/Cargo.toml

strata/jali/wgsl/Cargo.toml

cw-cyber/contracts/hub-protocols/Cargo.toml

cw-cyber/contracts/hub-skills/Cargo.toml

strata/nebu/cli/Cargo.toml

cw-cyber/packages/hub-base/Cargo.toml

honeycrisp/rane/benches/Cargo.toml

strata/trop/cli/Cargo.toml

strata/kuro/wgsl/Cargo.toml

cw-cyber/packages/cyber-std/Cargo.toml

cw-cyber/contracts/cybernet/Cargo.toml

cyb/cyb/cyb-shell/Cargo.toml

cw-cyber/tests/litium-tests/Cargo.toml

cw-cyber/contracts/hub-networks/Cargo.toml

strata/genies/rs/Cargo.toml

strata/genies/wgsl/Cargo.toml

cw-cyber/contracts/litium-stake/Cargo.toml

cyb/cyb/cyb-portal/Cargo.toml

honeycrisp/unimem/experiments/iosurface_probe/Cargo.toml

honeycrisp/unimem/experiments/hyp_probe/Cargo.toml

honeycrisp/unimem/experiments/dext_contiguous_alloc/client/Cargo.toml

honeycrisp/unimem/experiments/dext_iosurface_pa/client/Cargo.toml

Neighbours