II.
LibraryProcess overview
Reference · livelib-process:cryptography-blockchain--invariant-testing
specializations/cryptography-blockchain/invariant-testing overview
Invariant Testing - Comprehensive invariant testing for DeFi protocols to ensure system properties hold under all conditions and state transitions.
Attributes
displayName
specializations/cryptography-blockchain/invariant-testing
description
Invariant Testing - Comprehensive invariant testing for DeFi protocols to ensure system properties hold
under all conditions and state transitions.
libraryPath
library/specializations/cryptography-blockchain/invariant-testing.js
specialization
cryptography-blockchain
references
- - Foundry Invariants: https://book.getfoundry.sh/forge/invariant-testing
- - Medusa: https://github.com/crytic/medusa
example
const result = await orchestrate('specializations/cryptography-blockchain/invariant-testing', {
projectName: 'Lending Protocol Invariants',
protocol: 'lending',
invariants: ['solvency', 'collateral-ratio', 'interest-accrual'],
actorModel: 'multi-actor'
});
usesAgents
- invariant-analyst
- actor-designer
- handler-engineer
- invariant-engineer
- test-executor
- failure-analyst
- sequence-analyst
- docs-generator
Outgoing edges
lib_applies_to_domain1
- domain:security·DomainSecurity
lib_belongs_to_specialization1
- specialization:cryptography-blockchain·Specialization
lib_covers_topic2
- topic:hmac-signing·TopicHMAC Signing
- topic:ssl-certs·TopicSSL/TLS Certificates
lib_implements_workflow1
- workflow:crypto-protocol-review·WorkflowCryptographic Protocol Review
lib_involves_role1
- role:security-engineer·RoleSecurity Engineer
lib_requires_skill_area2
- skill-area:symmetric-encryption·SkillAreaSymmetric Encryption
- skill-area:asymmetric-encryption·SkillAreaAsymmetric Encryption
Incoming edges
None.