k-dss
by dapphub
formal verification of multicollateral dai in the K framework
AI summary
Contract verification tool
Formal specification and verification of a specific smart contract function.
- stars
- 45
- forks
- 25
- watching
- 17
Similar projects
Found by comparing what the projects do, not just their names.
Contract modules
A collection of building blocks for Ethereum smart contract systems using Solidity and Nix.
esig/dss832
Digital Signature Service
A framework for creating and validating advanced electronic signatures
Ethereum toolset
A suite of tools for building, testing, and deploying Ethereum smart contracts and related tools
Governance contracts
A collection of reusable building blocks for creating governance-driven smart contracts on the Interchain
Software Verifier
Automates Ada software verification with continuous testing and proofing
Contract verification framework
A Coq-based library providing a formal verification framework for the Tezos smart contract language
damsl/k315
Data system builder
Builds large-scale data systems by separating design and implementation concerns with a high-level, declarative language framework.
Data application builder
A low-code platform for building and deploying data-driven applications using GitHub Actions and Knowledge Spec Markup Language (KSML)
Contract generator
A CLI tool that generates JavaScript modules from Solidity contracts for interacting with decentralized applications.
a16z/zkdocs309
Info verification platform
A platform that enables secure and private verification of information through cryptographic commitments and zero-knowledge proofs
Schema validator
An automated security assessment tool for validating JavaScript schemas
Contract template
Provides a starting point for building composable smart-contracts on the Abstract platform
Data binder
Tool for validating and binding data in YAML and JSON formats
Calendar synchronizer
A CalDAV/CardDAV server backed by Git, providing a lightweight yet complete solution for calendar and contact synchronization.
Digital signature library
Provides libraries for securely creating and validating JSON-based digital signatures and encrypted messages
