Skip to content
View mitschabaude's full-sized avatar

Organizations

@zksecurity

Block or report mitschabaude

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 supported. This note will be visible to only you.
Report abuse

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

Report abuse

Pinned Loading

  1. Verified-zkEVM/clean Verified-zkEVM/clean Public

    Lean circuit DSL

    Lean 103 10

  2. o1-labs/o1js o1-labs/o1js Public

    TypeScript framework for zk-SNARKs and zkApps

    TypeScript 590 162

  3. zksecurity/vibenote zksecurity/vibenote Public

    Markdown notes, backed with Git. Vibe-coded ✌️

    TypeScript 2

  4. montgomery montgomery Public

    Fast implementation of multi-scalar multiplication in WebAssembly

    TypeScript 34 2

  5. zksecurity/wasmati zksecurity/wasmati Public

    Write low-level WebAssembly, from JavaScript

    TypeScript 228 6

  6. jam-systems/jam jam-systems/jam Public

    πŸ“ Jam is your own open source Clubhouse for mini conferences, friends, communities

    JavaScript 1.3k 96