daejunpark Goto Github PK

beacon-chain-spec

Formalization of the Beacon Chain Phase 0 Specification in K

beacon-chain-verification

c-semantics

Semantics of C in K

daejunpark.github.io

https://daejunpark.github.io

deposit-contract-verification

erc721a

https://ERC721A.org

erc777-semantics

evm-disassembler

EVM ByteCode To Opcode Disassembler

halmos-solady

Formally verifying consistency between Solmate and Solady using Halmos

helios

A fast, secure, and portable light client for Ethereum

java-semantics

The semantics of Java in K

javascript-semantics

KJS: A Complete Formal Semantics of JavaScript

jsaf

Forked from http://safe.kaist.ac.kr

jsaf-bin

Binary distribution of https://github.com/daejunpark/jsaf.git

michelson-semantics

A K semantics of Tezos' Michelson language.

morpho-data-structures

Data structures tested and used by the Morpho Protocol.

multicaller

Efficient multicaller contracts

npi

Artifact for the paper "Invariant Synthesis for Incomplete Verification Engines" in TACAS'18

openzeppelin-contracts

OpenZeppelin Contracts is a library for secure smart contract development.

revenue-distribution-token

Token to distribute aggregated vested earnings of any underlying token using the ERC-4626 standard.

rv-publications

Publications of Runtime Verification, Inc.

secureml

snekmate

State-of-the-art, highly opinionated, hyper-optimised, and secure 🐍Vyper smart contract building blocks.

solmate

Modern, opinionated, and gas optimized building blocks for smart contract development.

sound-protocol

vcdryad

VCDryad description

verified-smart-contracts

Smart contracts which are formally verified

verisol

A formal verifier and analysis tool for Solidity Smart Contracts

vyper-semantics

KVyper: Semantics of Vyper in K

yield-daddy

ERC-4626 wrappers for common yield-generating platforms