p3-security 0.9.0-rc.1 clean Soundness analysis for STARK protocols: per-error-source modules composed at the protocol call site. 39K 1d ago harmonic-dynamics 0.1.0 clean Safe Kuramoto, quaternion, spherical Lohe, and harmonic sequence dynamics 1d ago p3-keccak 0.9.0-rc.1 clean An optimized implementation of the Keccak-f permutation and Keccak256 hash function. 555K 1d ago p3-uni-stark 0.9.0-rc.1 clean A minimal univariate STARK framework providing core components for proof generation and verification. 2M 1d ago p3-fri 0.9.0-rc.1 clean An implementation of the FRI low-degree test (LDT) protocol used in zero-knowledge proof systems. 2M 1d ago p3-merkle-tree 0.9.0-rc.1 clean A Merkle tree implementation providing commitment scheme functionality for cryptographic proofs. 2M 1d ago p3-commit 0.9.0-rc.1 clean A framework for implementing various cryptographic commitment schemes, including non-hiding variants. 2M 1d ago p3-challenger 0.9.0-rc.1 clean A Fiat–Shamir transcript and challenger framework used to derive random challenges in proof systems. 2M 1d ago actix-http 3.18.13 clean HTTP types and services for the Actix ecosystem 85M 1d ago sdd-integrations 1.0.0 clean Adapters CLI-first para sistemas externos (GitHub via gh, Atlassian via acli) 1d ago tailtalk-proto 0.12.1 clean Protobuf wire protocol for the TailTalk AppleTalk daemon 194 1d ago latticearc 0.12.1 clean Production-ready post-quantum cryptography. Hybrid ML-KEM+X25519 by default, all 4 NIST standards (FIPS 203–206), and FIPS 140-3 backend — one crate, zero… 784 1d ago mercury-event-script 4.12.23 clean Rust port of mercury-composable event-script-engine — layer 2, composable orchestration 292 1d ago dekopon-broker 0.45.0 clean Deny-by-default authorization, execution, evidence, and audit core for Dekopon 1.0K 1d ago dekopon-policy 0.45.0 clean Bounded, deterministic Cedar authorization adapter for the Dekopon broker 1.1K 1d ago dekopon-config 0.45.0 clean Local YAML and JSON configuration discovery, loading, and validation for Dekopon 1.1K 1d ago dekopon-agent 0.45.0 clean Bounded model prompt loop and session capability dispatch for Dekopon agents 969 1d ago r0z-async 0.1.1 clean Async bindings to native ZeroMQ (libzmq), with optional runtime adapters 203 1d ago ghtui 0.1.0 clean A keyboard-driven terminal client for GitHub, with a pull request diff viewer that goes further than GitHub's 1d ago dekopon-broker-host 0.45.0 clean Broker-owned bounded asynchronous WebAssembly provider host for Dekopon 1.9K 1d ago sandhi-core 0.13.0 clean Sandhi core: usage accounting, virtual keys, budgets, and the neutral usage-event wire types. 30K 1d ago r0z 0.1.1 clean Safe Rust bindings to native ZeroMQ (libzmq) 205 1d ago p3-field-testing 0.9.0-rc.1 clean Testing utilities for finite field arithmetic and field-based operations in the Plonky3 ecosystem. 12K 1d ago r0z-sys 0.1.1 clean Native ZeroMQ (libzmq) build and FFI bindings 207 1d ago p3-bn254 0.9.0-rc.1 clean A wrapper for the ark_bn254::Fr field allowing it to be used in the Plonky3 environment 198K 1d ago coffeeldr not built 0.4.0 did not build A COFF (Common Object File Format) loader written in Rust 10K 1d ago experiment-merkle 0.1.0 clean Context-bound Merkle commitments and spot checks for distributed experiments 1d ago p3-monty-31 0.9.0-rc.1 clean An implementation of a generic prime field F_p, where 2^30 < p < 2^31 using Montgomery arithmetic. 672K 1d ago p3-poseidon1 0.9.0-rc.1 clean A generic implementation of the Poseidon1 permutation for cryptographic hash constructions. 409K 1d ago p3-blake3 0.9.0-rc.1 clean A wrapper for the standard BLAKE3 cryptographic hash function allowing it to be used in the Plonky3 environment. 570K 1d ago 