user-request cargo 0.16.0 none none Ask a person to approve something, through an interchangeable channel (Windows Hello first), with an approver-chosen grant. See crates/user-request/README.md. 17 1h ago bevy_zeroverse_publication cargo 0.5.1 none high Validated Rust project-page and whitepaper pipeline for bevy_zeroverse 55 4h ago bevy_zeroverse_ffi cargo 0.44.2 none high bevy zeroverse ffi library 15K 4h ago bevy_zeroverse cargo – 0.44.2 did not build – bevy zeroverse synthetic dataset generator 29K 5h ago bevy_zeroverse_capture cargo 0.4.1 none none Shared capture identity and annotation contracts for bevy_zeroverse 181 5h ago kinavis-mavlink cargo 0.1.0 none none MAVLink 2 for the KINAVIS navigation crates: frames, checksums and signatures, the position, attitude and mission messages of ArduPilot, without an allocator. 9 8h ago miden-mobile-prover cargo 0.17.4 none none Native Miden transaction prover exposed as a C ABI for embedding in iOS/Android Capacitor plugins. 494 9h ago libid-transcript cargo 0.7.0 none none tlsn-free half of the libID MPC-TLS toolkit: HTTP/JSON transcript range math for selective disclosure, the ceremony reveal layouts, and the length-prefixed… 114 1d ago newton-enclave cargo – 0.7.4 did not build – newton prover enclave compute 291 1d ago p3-multi-stark cargo 0.9.0-rc.2 none none Multilinear (SuperSpartan-style) STARK prover for AIRs. 322 1d ago ethrex-storage-rollup cargo 30.0.0 none none Rollup batch and prover-input storage for the ethrex L2 Ethereum client 937 1d ago miden-precompiles-prover cargo 0.36.1 none none Prover-side precompile implementations for the Miden VM deferred framework 41K 2d ago miden-prover cargo 0.36.1 none none Miden VM prover 447K 2d ago lean-tui cargo 1.1.0 high medium Standalone TUI infoview for Lean 4 theorem prover 980 2d ago p3-air cargo 0.9.0-rc.2 none none Defines the Algebraic Intermediate Representation (AIR) interface and supporting utilities for STARK provers. 2M 2d ago curvy-prover cargo 0.1.2 none none Authenticated Circom witness and Groth16 prover for the Curvy protocol 674 2d ago newton-transporter cargo – 0.7.4 did not build – newton prover stake weights transporter 331 2d ago newton-aggregator cargo – 0.7.4 did not build – newton prover aggregator utils 440 2d ago miden-lifted-stark cargo 0.36.1 none none Lifted STARK prover and verifier (LMCS-based). 111K 3d ago newton-chainio cargo – 0.7.4 did not build – newton prover chainio 669 3d ago miden-remote-prover cargo 0.17.6 none medium Miden remote prover 14K 4d ago lean-rs-host cargo – 0.9.4 did not build – Opinionated Rust host stack for embedding Lean 4 as a theorem-prover capability: typed sessions, kernel-check evidence handles, bounded MetaM services,… 1.3K 5d ago dendroverse cargo 0.2.0 none none Solve computational problems on graphs using dynamic programming over tree decompositions. 13 6d ago burn_gekko_capture cargo – 0.3.0 did not build – Procedural multi-view room dataset capture using published Bevy Zeroverse packages 19 7d ago bevy_zeroverse_burn cargo 0.19.0 none 0.28.2 did not build 5 bevy zeroverse synthetic dataset rust generator 330 7d ago sp1-gpu-prover cargo – 6.9.0 did not build – Complete GPU prover implementation for SP1 1.5K 8d ago sp1-gpu-shard-prover cargo 6.9.0 8 none GPU shard proving orchestration for SP1 1.7K 8d ago hekate-math cargo 0.12.1 none none Formally verified binary tower fields (F(2^k) to F(2^256)), constant-time by default, with hardware carry-less multiplication. For Sumcheck, GKR-based provers,… 1.8K 8d ago sp1-prover cargo – 6.9.0 did not build – The SP1 prover implementation 2M 8d ago sp1-prover-types cargo – 6.9.0 did not build – Type definitions for the SP1 prover 534K 8d ago 