EMILIA Protocol, Inc.
Organisation
| Plan | Amount | Frequency | Channel(s) |
|---|---|---|---|
|
Security hardening of the open verifier toolchain
One-time work to harden the open public-good toolchain: cross-language differential and property-based testing across the JavaScript, Python, and Go verifiers; supply-chain hardening (SBOM, provenance, signed releases, reproducible-build check) of the zero-dependency packages; conformance-suite and red-team expansion (PIP-007 escalation path and WebAuthn challenge-binding edge cases); and fuzzing of the parse/verify boundary. |
USD 25,000 | One-Time | |
|
Ongoing maintenance
Recurring support for ongoing maintenance of the open verifiers, the conformance suite, the formal models, and the IETF Internet-Draft: dependency-free upkeep, CI re-runs of the formal proofs, security triage, and conformance-vector updates. |
USD 0 | Monthly |
| Channel | Type | Address |
|---|---|---|
| Github-Sponsors |
Other
GitHub Sponsors (pending enablement for the emiliaprotocol organisation; once active, update this address to https://github.com/sponsors/emiliaprotocol). Until then, contact [email protected] to arrange funding. |
Visit |
Organisation