Skip to content
View codygunton's full-sized avatar
23 followers · 16 following

Achievements

Achievement: Pair Extraordinairex4Achievement: Pull Sharkx3Achievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Pair Extraordinairex4Achievement: Pull Sharkx3Achievement: YOLOAchievement: Quickdraw

Block or report codygunton

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
codygunton/README.md

👋

Pinned Loading

  1. eth-act/zkevm-test-monitor eth-act/zkevm-test-monitor Public

    ISA compliance testing of some RISC-V based ZKVMs

    Shell 5 3

  2. eth-act/zisk-fv eth-act/zisk-fv Public

    Lean 4 formal verification of the ZisK zkVM against the Sail RISC-V specification (ZisK fork baseline + FV work in ai_plans/, docs/fv/, ZiskFv/, tools/zisk-pil-extract/).

    Lean 1

  3. ypir-tileserver ypir-tileserver Public

    YPIR CPU-backed private map-tile server and demo (YPIR scheme from Menon & Wu, 2023)

    Rust 1

  4. AztecProtocol/barretenberg AztecProtocol/barretenberg Public

    Archived. See https://github.com/AztecProtocol/aztec-packages/tree/master/barretenberg

    194 130