Pinned Loading

1. shamir-secret-image-sharing shamir-secret-image-sharing Public

   Shamir's secret [image] sharing scheme capable of cheating detection. Final work for the Cryptography class @ITBA.

   C

2. soliditish-compiler soliditish-compiler Public

   A compiler for a language to create smart contracts, that is transpiled to Solidity. It is written in C + Flex/Bison.

   C

3. minimal-evm-fuzzer minimal-evm-fuzzer Public

   A minimal smart contract fuzzer written in Rust 🦀

   Rust 6

4. formal-verification-imp formal-verification-imp Public

   Converting imperative programs into SMT formulas and formally verifying properties with Z3.

   Haskell 1

5. 64bit-shell-OS 64bit-shell-OS Public

   64 bit shell operating system for OS course @ ITBA

   C 1

6. amm-contracts amm-contracts Public

   Simple Automatic Market Maker based on Uniswap v1 contracts

   Solidity 3 1