2 unstable releases
0.2.0 | Apr 3, 2025 |
---|---|
0.0.0 | Mar 24, 2025 |
#151 in #verification
351 downloads per month
Used in 22 crates
(5 directly)
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