"RetryProof team on IBM Bob 2.0 hackathon Hackathon"
Team Idea
Building RetryProof, an independent verification tool that reproduces retry/idempotency failures and proves repairs by rerunning the exact same frozen contract. IBM Bob repairs the target application; RetryProof verifies the fix with tamper-evident before/after evidence.
Team Members
.png&w=256&q=75)
Sreekar Reddy
Sreekar
Submission
Submission draft in progress