Verified-smart-contra Alternatives

Similar projects and alternatives to verified-smart-contra

publications

51 1,315 8.7 Python verified-smart-contra VS publications

Publications from Trail of Bits
compound-protocol

16 1,824 0.0 TypeScript verified-smart-contra VS compound-protocol

The Compound On-Chain Protocol
WorkOS

workos.com sponsored

The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
verified-smart-contracts

10 701 0.0 Solidity verified-smart-contra VS verified-smart-contracts

Smart contracts which are formally verified
security

3 198 5.4 Solidity verified-smart-contra VS security

Materials related to security: docs, checklists, processes, etc... (by OriginProtocol)
Publications

5 1,208 5.2 TeX verified-smart-contra VS Publications

Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com (by BartoszMilewski)
InfluxDB

www.influxdata.com sponsored

Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better verified-smart-contra alternative or higher similarity.

Suggest an alternative to verified-smart-contra

verified-smart-contra reviews and mentions

Posts with mentions or reviews of verified-smart-contra. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-10-29.

Cryptocurrency Loan Platform Implodes in $130M Hack
5 projects | news.ycombinator.com | 29 Oct 2021

https://github.com/runtimeverification/verified-smart-contra...
or this (Djed):
https://eprint.iacr.org/2021/1069.pdf
The first just describes the system and then asserts preconditions hold which works well enough for verifying that the code matches the spec but the other actually verify that the spec is doing what the user & developer expect it to by formalising the system and analysing the properties of that system.
Compound's project wouldn't have been vulnerable to any of the attacks executed on CreamFi however they are vulnerable to the class of spec errors. Uniswap and Djed on the other hand would be protected from the majority of that class of issue that Compound experienced. This isn't to say that they are invulnerable but I'd be willing to say that they are approaching "cryptography-grade" security where you can trust these protocols just like you can trust AES, RSA, and ECC encryption & signing.
---
This of course isn't to say that what Compound does is bad but as that incident shows, there is still room for their improvement in the security space. Cryptocurrency and "Decentralised Finance" are finally starting to grow up into proper subsets of the cryptocurrency and game theory communities. Now this might be a bit of general commentary on the SW space but hopefully long term this trend causes some of this security minded design to bleed over into the greater software engineering community.