Zellic/move-prover-examples Zellic/move-prover-examples

  • Stars
    star
    30
  • Rank 839,658 (Top 17 %)
  • Language Move
  • Created about 2 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Zellic/move-prover-examples
github

Zellic

Reviews

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

Repository Details

A gentle, example-based guide to getting started with the Move prover.

More Repositories

1

publications

Zellic's audits, publications, and reports
111
star
2

solidity-parser

Solp is a Python library used for reading, parsing and analysis of Solidity source projects and contracts without a dependency on the solc compiler.
Python
52
star
3

weth

Formal verification of WETH9.sol with Z3
Python
45
star
4

poc-hacks

Solidity
38
star
5

Masamune

A smart contract security search utility
Python
20
star
6

example-ctf-challenge

A self-contained example Ethereum challenge using Paradigm's CTF framework
Python
10
star
7

DonkeySwap

Intentionally vulnerable Coin swap protocol. DO NOT USE. FOR LEARNING PURPOSES ONLY.
Move
4
star
8

BokkyPooBahsDateTimeLibrary

Formal verification of the popular BokkyPooBah's DateTimeLibrary
SMT
3
star
9

nextjs-template

Typescript, Zod REST APIs, Zod forms, various utilities and boilerplate, EveryLayout based SCSS
TypeScript
2
star
10

fhe_attacks

attack implementation against FHE
Sage
1
star