sxysun-zz

sxysun-zz's Stars

• DistributedComponents/disel

  Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq

  Language:Coq967

• uwplse/verdi

  A framework for formally verifying distributed systems implementations in Coq

  Language:Coq59656

• hyperledger/fabric-private-chaincode

  FPC enables Confidential Chaincode Execution for Hyperledger Fabric using Intel SGX.

  Language:Go16390

• hyperledger-labs/minbft

  Implementation of MinBFT consensus protocol.

  Language:Go6323

• NationalSecurityAgency/ghidra

  Ghidra is a software reverse engineering (SRE) framework

  Language:Java53.1k6k

• verifast/verifast

  Research prototype tool for modular formal verification of C and Java programs

  Language:Rust38466

• Soonad/Whitepaper

  Moonad: a Peer-to-Peer Operating System

  Language:TeX1026

• SRI-CSL/solidity

  This is solc-verify, a modular verifier for Solidity.

  Language:C++5114

• pirapira/eth-isabelle

  A Lem formalization of EVM and some Isabelle/HOL proofs

  Language:Isabelle23842

• Frama-C/Frama-C-snapshot

  Release snapshots of the Frama-C platform for source code analysis

  Language:OCaml17138

• apache/incubator-resilientdb

  Global-Scale Sustainable Blockchain Fabric

  Language:C++142214

• Zilliqa/scilla

  Scilla - A Smart Contract Intermediate Level Language

  Language:OCaml24777

• seahorn/seahorn

  SeaHorn Verification Framework

  Language:C441130

• ethereum/consensus-specs

  Ethereum Proof-of-Stake Consensus Specifications

  Language:Python3.6k998

• Storyyeller/Krakatau

  Java decompiler, assembler, and disassembler

  Language:Rust2k223

• usyd-blockchain/vandal

  Static program analysis framework for Ethereum smart contract bytecode.

  Language:Python16240

• crytic/rattle

  evm binary static analysis

  Language:Python35442

• ewasm/design

  Ewasm Design Overview and Specification

  1k126

• uw-unsat/hyperkernel

  Language:C18325

• lifting-bits/mcsema

  Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode

  Language:C++2.7k341

• crytic/slither

  Static Analyzer for Solidity and Vyper

  Language:Python5.4k985

• ivicanikolicsg/MAIAN

  MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts

  Language:Python557160

• runtimeverification/evm-semantics

  K Semantics of the Ethereum Virtual Machine (EVM)

  Language:Python512149

• FederatedAI/FATE

  An Industrial Grade Federated Learning Framework

  Language:Python5.8k1.6k

• microsoft/verisol

  A formal verifier and analysis tool for Solidity Smart Contracts

  Language:C#24646

• pirapira/ethereum-formal-verification-overview

  The start page about my efforts around smart contract verification

  29926

• HelloZeroNet/ZeroNet

  ZeroNet - Decentralized websites using Bitcoin crypto and BitTorrent network

  Language:JavaScript18.4k2.3k

• tensorflow/mlir

  "Multi-Level Intermediate Representation" Compiler Infrastructure

  1.7k260

• apache/tvm

  Open deep learning compiler stack for cpu, gpu and specialized accelerators

  Language:Python11.9k3.5k

• leanprover/lean3

  Lean Theorem Prover

  Language:C++2.1k217