Summary: SL_PD_Lib
Repo: https://github.com/Beneficial-AI-Foundation/libsignal-verify
Summary: nasa jpl test — certified snapshot
Repo: https://github.com/nasa-jpl/L4YAML
Summary: spqr-verify with probe-aeneas 0.9.5
Repo: https://github.com/Beneficial-AI-Foundation/SparsePostQuantumRatchet-verify
Summary: Formally verifying succinct non-interactive arguments of knowledge
Repo: https://github.com/Verified-zkEVM/ArkLib
Summary: Formally verifying succinct non-interactive arguments of knowledge
Repo: https://github.com/Verified-zkEVM/ArkLib
Summary: dalek-verusTestSofia
Repo: https://github.com/Beneficial-AI-Foundation/dalek-verus
