Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Preserved EVM state relation #10

Open
wants to merge 7 commits into
base: main
Choose a base branch
from
Open

Preserved EVM state relation #10

wants to merge 7 commits into from

Commits on Oct 3, 2024

  1. Inter instance for binary relation 

    To be honest I was kind of surprised I didn't found it in mathlib.
Perhaps that is not _idiomatic_ Lean solution?
    @jkopanski
    jkopanski committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    fde3c73 View commit details
    Browse the repository at this point in the history

  2. Preserved, relation for EVM state that mostly stays the same

    @jkopanski
    jkopanski committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    5b717c3 View commit details
    Browse the repository at this point in the history

Commits on Oct 4, 2024

  1. Add keccak_map to preserved relation

    @Coda-Coda
    Coda-Coda committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    0b98838 View commit details
    Browse the repository at this point in the history

  2. Some more lemmas about preserving EVM

    @jkopanski
    jkopanski committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    ffb62e4 View commit details
    Browse the repository at this point in the history

Commits on Oct 7, 2024

  1. Remove Inter instance

    @jkopanski
    jkopanski committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    dd00c55 View commit details
    Browse the repository at this point in the history

Commits on Oct 8, 2024

  1. Use order for the keccek map preserve relation 

    some more lemmas
    @jkopanski
    jkopanski committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    e57b139 View commit details
    Browse the repository at this point in the history

  2. Use a structure for Preserved relation

    @jkopanski
    jkopanski committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    585e97d View commit details
    Browse the repository at this point in the history