New: formal-verification

nigelmarkdias (69)in steemhunt • 4 years ago
CertiK - Blockchain & smart contract security protocol
CertiK Blockchain & smart contract security protocol Screenshots View Image Hunter's comment A cross-chain protocol with security scoring & decentralized Reimbursements…
Downvoting a post can decrease pending rewards and make it less visible. Common reasons:
Disagreement on rewards
Fraud or plagiarism
Hate speech or trolling
Miscategorized content or spam

Submit
$0.85
Past Payouts $0.85
- Author $0.40
- Curators $0.45
22
nigelmarkdias (69)in steemhunt • 4 years ago
Certora - Smart Contract Accuracy & Security Verification
Certora Smart Contract Accuracy & Security Verification Screenshots Hunter's comment Through it's own Automatic Exact Verification (AEV) technology, complementing existing…
Downvoting a post can decrease pending rewards and make it less visible. Common reasons:
Disagreement on rewards
Fraud or plagiarism
Hate speech or trolling
Miscategorized content or spam

Submit
$0.38
Past Payouts $0.38
- Author $0.18
- Curators $0.20
6

CertiK - Blockchain & smart contract security protocol