|
|
Nix |
2 |
Formal Verification of MkrAuthority contract |
May 07, 2021 |
|
|
None |
2 |
The following repo contains Formal Verification tools and resources for smart contracts for smart contract … |
Jul 10, 2023 |
|
|
OCaml |
32 |
Imandra Contracts - Formal verification of smart contracts |
Apr 26, 2023 |
|
|
Solidity |
2 |
Minions smart contract - Binance Smart Chain |
Mar 04, 2022 |
|
|
None |
482 |
Smart Contract Security Verification Standard |
Apr 25, 2023 |
|
|
None |
263 |
Smart Contract Security Verification Standard |
May 06, 2023 |
|
|
Python |
2 |
Formal verification for smart infrastructure (buildings, cities, etc.) |
May 31, 2022 |
|
|
Solidity |
3 |
Platform smart contract |
Dec 10, 2021 |
|
|
WebAssembly |
8 |
A powerful on-chain smart-contract wallet on the EOSIO platform |
Oct 06, 2022 |
|
|
Haskell |
45 |
Horus, a formal verification tool for StarkNet smart contracts. |
Apr 06, 2023 |
|
|
Solidity |
4 |
staking on binance chain smart contract |
May 25, 2022 |
|
|
TypeScript |
2 |
Smart Contract for Cross Chain Communication |
Mar 08, 2023 |
|
|
JavaScript |
2 |
microvision chain smart contract scrypt lib |
Jun 21, 2023 |
|
|
JavaScript |
2 |
Hardhat smart contract verification plugin for Cronoscan |
Apr 09, 2024 |
|
|
Rust |
66 |
Dusk's Smart Contract Platform |
Jun 23, 2022 |
|
|
HTML |
2 |
Formal verification blog |
Jan 17, 2022 |
|
|
Solidity |
7 |
Smart Contract Repository for Ethereum and Binance Smart Chain |
Feb 13, 2022 |
|
|
JavaScript |
6 |
Formal Verification of smart contracts, using PROMELA verification modeling language and SPIN model checker |
Oct 01, 2022 |
|
|
Go |
2 |
Zilliqa cross chain smart contract for Polynetwork |
May 08, 2021 |
|
|
Rust |
3 |
ERC20 smart contract code on terra chain |
Mar 29, 2022 |
|
|
Solidity |
32 |
Smart contracts for zero-knowledge proofs verification on-chain with PolygonID |
Apr 20, 2023 |
|
|
Rust |
3 |
A smart-contract infrastructure layer for chain-agnostic smart-contracts. |
Apr 10, 2023 |
|
|
Go |
13 |
the centralized smart contract platform |
May 20, 2022 |
|
|
Rust |
3 |
[MIRROR] Dusk's Smart Contract Platform |
Mar 31, 2022 |
|
|
C++ |
131 |
A Universal Smart Contract Platform |
Nov 22, 2022 |
|
|
Solidity |
2 |
DeFi Smart Contract & Exchange Platform |
Apr 13, 2023 |
|
|
Python |
47 |
Formal verification of WETH9.sol with Z3 |
Apr 19, 2023 |
|
|
JavaScript |
2 |
Implementing a supply chain smart contract in Solidity |
Oct 19, 2021 |
|
|
Solidity |
3 |
The Algoz on-chain captcha smart contract repository. |
Apr 12, 2022 |
|
|
Rust |
3 |
smart contract on terra chain using cosmos sdk |
Mar 29, 2022 |
|
|
Solidity |
3 |
DEEPSPACE Token contract on Binance Smart Chain (BSC) |
Jun 08, 2022 |
|
|
JavaScript |
15 |
Ethereum smart contract for cross-chain atomic swaps |
Apr 18, 2022 |
|
|
C++ |
2 |
FiroVM - The smart contract enabler chain for Firo |
Nov 07, 2023 |
|
|
C++ |
7 |
EOS smart contract that does ECDSA verification (ecrecover/ecverify) |
Feb 03, 2022 |
|
|
JavaScript |
119 |
MythX smart contract security verification plugin for Truffle Framework |
Jul 26, 2022 |
|
|
Solidity |
2 |
Smart contract verification tool for Evmos. Modified blockscout-rs. |
Jan 27, 2024 |
|
|
Solidity |
4 |
Smart contract of dest.cc DAO platform |
Feb 14, 2022 |
|
|
C++ |
10 |
An open source smart contract platform |
Oct 29, 2021 |
|
|
C++ |
11336 |
An open source smart contract platform |
May 04, 2023 |
|
|
Solidity |
2 |
Escrow smart contract for freelancing platform |
Oct 30, 2022 |
|
|
WebAssembly |
2 |
An open source smart contract platform |
Jul 12, 2018 |
|
|
Rust |
2 |
smart contract for solana donation platform |
Mar 08, 2023 |
|
|
Python |
3 |
OpenTitan FI formal verification framework |
Aug 13, 2022 |
|
|
Verilog |
3 |
RISC-V Formal Verification Framework |
Jun 05, 2022 |
|
|
Verilog |
24 |
RISC-V Formal Verification Framework |
Jul 18, 2022 |
|
|
Verilog |
2 |
RISC-V Formal Verification Framework |
May 21, 2021 |
|
|
OCaml |
172 |
Formal verification of OCaml programs |
Jun 23, 2022 |
|
|
Verilog |
4 |
RISC-V Formal Verification Framework |
Mar 26, 2022 |
|
|
None |
2 |
RISC-V Formal Verification Framework |
Jan 29, 2022 |
|
|
Python |
5 |
Formal Verification for Plasma-mvp |
Apr 18, 2020 |