Skip to content
View CharlesHoskinson's full-sized avatar

Highlights

  • Pro

Organizations

@ScorexFoundation

Block or report CharlesHoskinson

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Popular repositories Loading

  1. sevenlayer sevenlayerPublic

    A Complete Guide to Zero-Knowledge Proof Systems

    HTML 114 20

  2. anthropies anthropiesPublic

    Restore clean title in work you already own. Strip vendor marks from Outputs Anthropic assigned to you.

    TypeScript 88 8

  3. dancesWithClaws dancesWithClawsPublic

    TypeScript 39 18

  4. proof-zk-recovery proof-zk-recoveryPublic

    ZK recovery contract: design, audits, and prototyping (private)

    Go 17 6

  5. jolt-tla jolt-tlaPublic

    Formal specification for Jolt zkVM continuations: Prose spec (requirements) + TLA+ (model checking) + Lean 4 (executable oracle). 30 verified security invariants.

    Lean 8 2

  6. naivechain naivechainPublic

    Forked from lhartikk/naivechain

    A blockchain implementation in 200 lines of code

    JavaScript 7