Aegis Parametric Insurance Protocol — on-chain Aiken validators + security audit handoff
-
Updated
Jun 25, 2026 - Aiken
Aegis Parametric Insurance Protocol — on-chain Aiken validators + security audit handoff
Aiken primitives for verifying zero-knowledge (Groth16 over BLS12-381) and Merkle proofs on Cardano, including on-chain Mithril transaction-inclusion verification.
BBS+ anonymous credentials for Cardano — Haskell off-chain + Aiken on-chain
Add a description, image, and links to the plutus-v3 topic page so that developers can more easily learn about it.
To associate your repository with the plutus-v3 topic, visit your repo's landing page and select "manage topics."