michaelsproul/slashing-proofs

Stars
7
Rank 2,294,772 (Top 46 %)
Language Isabelle
Created over 3 years ago
Updated over 3 years ago

michaelsproul/slashing-proofs

michaelsproul

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

Formal proofs about Ethereum slashing protection strategies

rust_radix_trie

Fast generic radix trie implemented in Rust

aus_senate

Implementation of the Australian senate voting algorithm

rust_sequence_trie

Ergonomic trie data structure

autozfs

Auto-mount ZFS external hard drives (macOS)

bullshit

Simple horoscope generator in Python

xuino

Command-line Arduino toolkit [deprecated]

rust-nightly-archlinux

Unmaintained PKGBUILD generator for Rust

dblib-linear

Formalisation of the linear lambda calculus in Coq

butter_db

Key-value database built on btrfs [UNUSABLE]

gossip

Simulation of gossip with consensus

bulk-pay-aus

Make batch payments from Australian banks

colourcat

Tool for distinctly colouring numbers, hashes and identifiers in log files

blockdreamer

Ethereum block hallucinator

rust_nibble_vec

A data structure for storing a sequence of nibbles

ens-search

Find awesome Ethereum names with ease!

nixos-desktop

Attempted NixOS configuration for my desktop...

eth2-scripts

Scripts for Eth2 node admin + analysis

postgres-alloc-rs

Use the PostgreSQL allocator from Rust!

ssz-hs

Ethereum SSZ library for Haskell

dummy_builder

No-op block builder for testing

arduino-power-monitor

Monitor household power usage with an Arduino.

safe-tla

TLA+ model of some SAFE network stuff

PizzaML

Hopefully a Rust-like syntax for ML

optimising-attestation-packing-satalia

Joint project with Satalia on attestation packing https://lighthouse-blog.sigmaprime.io/optimising-attestation-packing.html

festivus

FESTIVUS - a data server for the rest of us! [inactive]

beacon_http_bench

Tools for benchmarking the HTTP API of an Ethereum beacon node

bletchley

Old school cryptography

music-drm-game-theory

Game theory project on DRM in the music industry.

antifa

Build a Merkle tree for your files

aus_senate_site

Aus Senate Simulator 3000

usydrc

Sydney Uni exam results checker (now obsolete)

household-power

Household power monitoring reborn with Rust + Raspberry Pi.

ethereum-share-house

Ethereum smart contract for sharehouse expense-sharing

rust-simpl-db

Rusty single file database

swap-or-not-shuffle-isabelle

Formalisation of the swap-or-not shuffle used in Ethereum 2.0

.files

Configuation files and symlink deploy script

bad-redirects

Mucking about with infinite redirects to break things.

tpg-analyser

Scraper for TPG mobile usage data.

blog

Crappy Old Blog (dull)

radix_trie_benchmarks

Radix Trie Benchmarks for Rust, Go and Haskell.

rust-ffi-example

Minimal example for calling Rust from C

xmlproc

Simple XML processor

card_shuffling

A simulation of some card shuffling algorithms for 500

background_iter

[WIP] Poll an iterator to completion in parallel on a background thread

alertbot

hiatus

Experimental concurrency debugging library for Rust

security-jam

Poppin' phresh shells.

blockgauge

Measure blockprint's accuracy with synthetic blocks

ewok

Simulator for a distributed fuzzy ordering algorithm

skarn

Selective File Sync

mordhelp

Mordheim helper app