2 unstable releases

0.2.0 Apr 3, 2025
0.0.0 Mar 24, 2025

#151 in #verification

Download history 76/week @ 2025-03-19 26/week @ 2025-03-26 212/week @ 2025-04-02 37/week @ 2025-04-09

351 downloads per month
Used in 22 crates (5 directly)

Apache-2.0

2MB
35K SLoC

Verification Primitives

Defines traits and types for verifying event logs, transaction receipt proofs, and execution proofs, ensuring secure cross-chain message delivery. It provides validation mechanisms for Ethereum logs and proof structures to maintain the integrity of cross-chain communication.

Dependencies

~23–38MB
~642K SLoC