project-everest/ethereum-star project-everest/ethereum-star

  • Stars
    star
    6
  • Rank 2,458,107 (Top 50 %)
  • Language
    Solidity
  • License
    Apache License 2.0
  • Created over 7 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
project-everest/ethereum-star
github

project-everest

Reviews

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

Repository Details

F* proofs of Ethereum

More Repositories

1

vale

Verified Assembly Language for Everest
F#
250
star
2

everparse

Automated generation of provably secure, zero-copy parsers from format specifications
F*
225
star
3

everest

Shell
191
star
4

mitls-fstar

Verified implementation of TLS 1.3 in F*
F*
172
star
5

QUIC-FStar

An implementation of the IETF QUIC protocol in F*
F*
17
star
6

project-everest.github.io

Landing page for Project Everest
HTML
12
star
7

MLCrypto

OCaml adapters for crypto providers used in Everest
OCaml
10
star
8

everquic-crypto

Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.
F*
10
star
9

everest-ci

CI scripts for project everest
Shell
3
star
10

everest-dist

Distribution files of Project Everest
C
1
star