wolflo/minisig.k wolflo/minisig.k

  • Stars
    star
    1
  • Language SMT
  • Created almost 4 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
wolflo/minisig.k
github

wolflo

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

evm-opcodes

A quick reference for EVM opcodes
579
star
2

minisig

Gas-optimized EVM multisig
25
star
3

forge-middleware

foundry + ethers
Rust
22
star
4

proxies.huff

Minimal Ethereum delegatecall proxies
JavaScript
20
star
5

solidity-interest-helper

An implementation of continuously compounding interest in Solidity.
JavaScript
14
star
6

quadratic-voting-dapp

JavaScript
11
star
7

simple-state-rs

Rust <=> Solidity
Rust
9
star
8

k-brainfuck-semantics

Formal semantics of the Brainfuck language in K
Brainfuck
9
star
9

token-rs

Solidity
7
star
10

etk-odin

Rust
6
star
11

runrun

Flexible Rust testing framework
Rust
4
star
12

meta-jumpers

A collection of malicious smart contracts that jump into their own metadata
4
star
13

minisig.huff

Python
3
star
14

minisig.sol

Python
3
star
15

minisig.vy

Python
3
star
16

minisig-semantics

Makefile
2
star
17

tokemak-exploit

Rust
1
star
18

sandy

A sandbox for executing semi-trusted evm bytecode
JavaScript
1
star
19

k-bitbank

SMT
1
star
20

proxies.test.huff

Makefile
1
star