Skip to content
View kobby-pentangeli's full-sized avatar
39 followers · 10 following

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Starstruck

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Starstruck

Organizations

@dOrgTech

Block or report kobby-pentangeli

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
kobby-pentangeli/README.md

Hey!

👾 I'm Kobby.

🦀 An open-source Rust engineer with a deep passion for zero-knowledge (ZK) cryptographic protocols.

🕷️ Creator of the Ananse zero-knowledge virtual machine (zkVM).

𓋹 Creator of the Maat zero-knowledge programming language (zkDSL).

📜 I also build and maintain ZK Rosetta catalog and harness.


🌀 Projects

  • ananse --- WebAssembly-native zero-knowledge virtual machine (zkVM). The proof system is a FRI-based STARK (Plonky3; scalable, transparent, post-quantum secure).
  • maat --- Turing-complete programming language for writing zero-knowledge proofs (ZKPs). The proof system is a FRI-based STARK (Winterfell; scalable, transparent, post-quantum secure).
  • zk-rosetta --- A cross-ecosystem catalog and harness of zero-knowledge protocol specs or proposals, with executable proof that one statement verifies identically across chains.
  • lc3box --- Assembler, disassembler, virtual machine, debugger, and compiler for the Little Computer 3 (LC-3) assembly language and instruction-set architecture.
  • chaum-pedersen --- Rust implementation of the Chaum-Pedersen zero-knowledge cryptographic protocol.
  • zescrow --- Trust-minimized, chain-agnostic implementation of an escrow program using the RISC Zero zkVM as the zero-knowledge prover/verifier.
  • grapevine --- A modern, asynchronous peer-to-peer gossip protocol library and application.
  • ord-rs --- A library for working with Bitcoin Ordinal inscriptions, BRC20 tokens, and runes.
  • atomic-swap --- Cross-chain application where a Bitcoin payment unlocks NFT minting on Ethereum or Solana through shared secrets.
  • palisade --- Rust implementation of an HTTP reverse proxy built on hyper, tokio, and rustls.

Pinned Loading

  1. maatlabs/ananse maatlabs/ananse Public

    A WebAssembly-native zero-knowledge virtual machine (zkVM)

    Rust 3

  2. maatlabs/maat maatlabs/maat Public

    Turing-complete programming language for writing zero-knowledge proofs (ZKPs)

    Rust 3

  3. chaum-pedersen-zkp chaum-pedersen-zkp Public

    Rust implementation of the Chaum-Pedersen zero-knowledge cryptographic protocol.

    Rust 4

  4. grapevine grapevine Public

    A modern, asynchronous peer-to-peer gossip protocol library and application

    Rust 7 1

  5. zescrow zescrow Public

    Zescrow (for zero-knowledge escrow) is a trust-minimized, chain-agnostic implementation of an escrow program using the RISC Zero zkVM as the zero-knowledge prover/verifier

    Rust 3

  6. lc3box lc3box Public

    Assembler, disassembler, virtual machine, debugger, and compiler for the Little Computer 3 (LC-3) assembly language and instruction-set architecture

    Rust