contribute

soft3/mudra/audit/signature-optimality/xnt-predicate-check/Cargo.toml

[package]
name = "xnt-predicate-check"
version = "0.1.0"
edition = "2024"
license = "Apache-2.0"

[workspace]

[dependencies]
twenty-first = "=1.1.0"
triton-vm = "=7.0.0"
bincode = "=1.3.3"
serde = { version = "1", features = ["derive"] }
bech32 = "=0.9.1"

Homonyms

cyber/Cargo.toml

cyb/Cargo.toml

cyb/optica/Cargo.toml

cyb/shell/Cargo.toml

soft3/strata/Cargo.toml

cyb/evy/Cargo.toml

cyb/honeycrisp/Cargo.toml

warriors/joy/Cargo.toml

cyb/apps/Cargo.toml

cyberia/cyberia-my/Cargo.toml

soft3/neuron/Cargo.toml

cyb/core/Cargo.toml

soft3/hemera/Cargo.toml

warriors/erga/Cargo.toml

soft3/zheng/Cargo.toml

soft3/tru/Cargo.toml

soft3/radio/Cargo.toml

cyb/wysm/Cargo.toml

soft3/lens/Cargo.toml

soft3/mudra/Cargo.toml

neural/trident/Cargo.toml

cyb/cli/Cargo.toml

neural/eidos/Cargo.toml

soft3/nox/Cargo.toml

cyb/prysm/Cargo.toml

neural/rune/Cargo.toml

soft3/cybergraph/Cargo.toml

soft3/foculus/Cargo.toml

neural/rs/Cargo.toml

soft3/crate/Cargo.toml

warriors/trisha/Cargo.toml

soft3/mir/Cargo.toml

soft3/glia/Cargo.toml

neural/rs/pure-rust-check/Cargo.toml

warriors/trisha/wgpu/Cargo.toml

neural/eidos/cli/Cargo.toml

soft3/hemera/wgsl/Cargo.toml

soft3/radio/cyber-bao/Cargo.toml

soft3/radio/iroh-relay/Cargo.toml

neural/rs/dialect/Cargo.toml

soft3/tru/rs/Cargo.toml

warriors/erga/cli/Cargo.toml

neural/rs/rsc/Cargo.toml

soft3/lens/src/Cargo.toml

soft3/bbg/cli/Cargo.toml

soft3/strata/cli/Cargo.toml

soft3/nox/rs/Cargo.toml

soft3/glia/run/Cargo.toml

soft3/lens/cli/Cargo.toml

cyb/honeycrisp/aruminium/Cargo.toml

soft3/radio/iroh-base/Cargo.toml

soft3/tru/cli/Cargo.toml

warriors/trisha/cli/Cargo.toml

warriors/trisha/honeycrisp/Cargo.toml

soft3/radio/iroh-willow/Cargo.toml

soft3/strata/ext/Cargo.toml

soft3/neuron/rune/Cargo.toml

soft3/lens/binius/Cargo.toml

neural/inf/rs/Cargo.toml

soft3/cybergraph/cli/Cargo.toml

neural/rs/codegen/Cargo.toml

neural/rs/cli/Cargo.toml

neural/rs/sigil/Cargo.toml

soft3/radio/iroh-car/Cargo.toml

warriors/joy/rs/Cargo.toml

soft3/radio/radio-cli/Cargo.toml

soft3/zheng/cli/Cargo.toml

soft3/radio/iroh-dns-server/Cargo.toml

neural/rs/macho-linker/Cargo.toml

neural/rs/link/Cargo.toml

neural/rs/macros/Cargo.toml

cyb/crates/cyb-reserve/Cargo.toml

soft3/conformance/rs/Cargo.toml

soft3/radio/iroh/Cargo.toml

soft3/tok/rs/Cargo.toml

soft3/lens/brakedown/Cargo.toml

soft3/glia/import/Cargo.toml

warriors/trisha/rs/Cargo.toml

soft3/radio/iroh-blobs/Cargo.toml

cyb/wysm/fuzz/Cargo.toml

neural/rs/mir-format/Cargo.toml

soft3/hemera/rs/Cargo.toml

soft3/strata/core/Cargo.toml

soft3/neuron/engine/Cargo.toml

soft3/hemera/cli/Cargo.toml

soft3/lens/assayer/Cargo.toml

soft3/strata/src/Cargo.toml

soft3/nox/cli/Cargo.toml

neural/rs/core/Cargo.toml

soft3/radio/nettools/Cargo.toml

soft3/radio/iroh-ffi/Cargo.toml

soft3/radio/iroh-gossip/Cargo.toml

cyb/crates/cyb/Cargo.toml

soft3/radio/quinn/Cargo.toml

soft3/lens/porphyry/Cargo.toml

warriors/trisha/neptune/Cargo.toml

soft3/radio/iroh-docs/Cargo.toml

soft3/bbg/rs/Cargo.toml

warriors/joy/cli/Cargo.toml

soft3/lens/ikat/Cargo.toml

soft3/strata/proof/Cargo.toml

soft3/neuron/cli/Cargo.toml

soft3/neuron/model/Cargo.toml

soft3/lens/core/Cargo.toml

cyb/honeycrisp/acpu/Cargo.toml

neural/rune/cli/Cargo.toml

neural/rs/darwin-sys/Cargo.toml

soft3/neuron/node/Cargo.toml

cyb/honeycrisp/rane/Cargo.toml

cyb/honeycrisp/unimem/Cargo.toml

soft3/zheng/rs/Cargo.toml

neural/eidos/rs/Cargo.toml

soft3/radio/particle/Cargo.toml

neural/trident/silicon/Cargo.toml

soft3/lytics/rs/Cargo.toml

soft3/strata/compute/Cargo.toml

soft3/hemera/bench/Cargo.toml

soft3/lytics/rs/ingest/Cargo.toml

cyb/honeycrisp/aruminium/benches/Cargo.toml

cyb/wysm/crates/collections/Cargo.toml

cyb/evy/forks/bevy_render/Cargo.toml

cyb/evy/crates/evy_engine_core/Cargo.toml

soft3/radio/quinn/quinn-udp/Cargo.toml

warriors/erga/rs/mine-bench/Cargo.toml

soft3/tade/impl/rust/Cargo.toml

warriors/erga/rs/blake-bench/Cargo.toml

warriors/erga/rs/pool/Cargo.toml

neural/rune/rs/mold/Cargo.toml

warriors/trisha/tools/neptune-policy-oracle/Cargo.toml

cyb/evy/crates/evy_prysm_core/Cargo.toml

soft3/strata/kuro/cli/Cargo.toml

neural/rune/rs/compile/Cargo.toml

soft3/mudra/audit/quantus-mldsa-crosscheck/Cargo.toml

neural/rune/rs/ast/Cargo.toml

cyb/evy/forks/bevy_gizmos_render/Cargo.toml

neural/rune/rs/lower/Cargo.toml

soft3/strata/jali/cli/Cargo.toml

neural/rune/rs/parse/Cargo.toml

cyb/evy/forks/bevy_core_pipeline/Cargo.toml

neural/trident/editor/zed/Cargo.toml

warriors/erga/rs/app/Cargo.toml

cyb/wysm/crates/wasi/Cargo.toml

cyb/evy/forks/bevy_ecs/Cargo.toml

soft3/strata/genies/wgsl/Cargo.toml

neural/rune/rs/parse-pure/Cargo.toml

cyb/evy/crates/evy_radio/Cargo.toml

soft3/strata/genies/rs/Cargo.toml

soft3/radio/quinn/bench/Cargo.toml

neural/inf/rs/lex/Cargo.toml

cyb/evy/forks/naga/Cargo.toml

cyb/evy/crates/evy_engine_tasks/Cargo.toml

cyb/wysm/crates/ir/Cargo.toml

neural/inf/rs/parse/Cargo.toml

cyb/wysm/crates/wast/Cargo.toml

cyb/evy/forks/bevy_anti_alias/Cargo.toml

cyb/evy/crates/evy_engine_dispatch/Cargo.toml

warriors/erga/rs/miner/Cargo.toml

soft3/strata/nebu/rs/Cargo.toml

cyb/evy/crates/evy_ecs_storage/Cargo.toml

neural/inf/rs/ast/Cargo.toml

neural/rs/tests/macro-integration/Cargo.toml

soft3/strata/genies/cli/Cargo.toml

neural/inf/rs/lower/Cargo.toml

cyb/wysm/crates/fuzz/Cargo.toml

cyb/evy/forks/bevy_animation/Cargo.toml

neural/rune/rs/subject/Cargo.toml

soft3/strata/trop/wgsl/Cargo.toml

soft3/radio/tests/integration/Cargo.toml

cyb/evy/forks/bevy_gizmos/Cargo.toml

soft3/lytics/rs/event/Cargo.toml

neural/rune/rs/prysm/Cargo.toml

cyb/evy/forks/bevy_sprite_render/Cargo.toml

soft3/radio/nettools/netwatch/Cargo.toml

cyb/evy/forks/bevy_mesh/Cargo.toml

cyb/evy/forks/bevy_diagnostic/Cargo.toml

warriors/erga/rs/wallet/Cargo.toml

neural/inf/rs/cli/Cargo.toml

cyb/evy/crates/evy_dialect/Cargo.toml

soft3/lytics/rs/core/Cargo.toml

cyb/evy/forks/bevy_sprite/Cargo.toml

cyb/evy/forks/bevy_post_process/Cargo.toml

soft3/strata/trop/cli/Cargo.toml

soft3/strata/kuro/wgsl/Cargo.toml

soft3/strata/jali/wgsl/Cargo.toml

soft3/lytics/rs/agent/Cargo.toml

neural/inf/rs/value/Cargo.toml

soft3/strata/nebu/cli/Cargo.toml

warriors/erga/rs/rtable-bench/Cargo.toml

neural/inf/rs/oracle/Cargo.toml

cyb/wysm/crates/core/Cargo.toml

soft3/radio/quinn/perf/Cargo.toml

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

soft3/strata/jali/rs/Cargo.toml

soft3/radio/iroh/bench/Cargo.toml

soft3/radio/quinn/quinn/Cargo.toml

cyb/evy/forks/bevy_transform/Cargo.toml

cyb/honeycrisp/rane/benches/Cargo.toml

neural/rune/rs/lex/Cargo.toml

cyb/evy/forks/bevy_tasks/Cargo.toml

cyb/evy/forks/bevy_image/Cargo.toml

warriors/trisha/scripts/fixtures/Cargo.toml

soft3/strata/trop/rs/Cargo.toml

neural/inf/rs/plan/Cargo.toml

neural/inf/rs/source/Cargo.toml

neural/inf/rs/eval/Cargo.toml

cyb/wysm/crates/wasmi/Cargo.toml

soft3/radio/quinn/fuzz/Cargo.toml

cyb/wysm/crates/cli/Cargo.toml

cyb/evy/forks/bevy_pbr/Cargo.toml

cyb/evy/crates/evy_platform_caps/Cargo.toml

warriors/erga/rs/autolykos/Cargo.toml

cyb/wysm/crates/c_api/Cargo.toml

soft3/strata/nebu/wgsl/Cargo.toml

cyb/evy/crates/evy_diagnostic/Cargo.toml

soft3/radio/quinn/quinn-proto/Cargo.toml

soft3/radio/nettools/portmapper/Cargo.toml

neural/rune/rs/interp/Cargo.toml

soft3/strata/kuro/rs/Cargo.toml

cyb/honeycrisp/unimem/experiments/hyp_probe/Cargo.toml

cyb/honeycrisp/unimem/experiments/iosurface_probe/Cargo.toml

cyb/wysm/crates/c_api/artifact/Cargo.toml

soft3/radio/quinn/docs/book/Cargo.toml

cyb/wysm/crates/c_api/macro/Cargo.toml

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

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

Graph