Skip to content
View SkymanOne's full-sized avatar
🎯
Focusing
🎯
Focusing
80 followers · 39 following

Organizations

@SkyMen-Lab @soton-dsoc

Block or report SkymanOne

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

Hi 👋, I'm Gherman Nicolisin

skymanone

  • 🌱 I’m currently learning Rust🦀, tokio and Zero-Knowledge Proofs

  • 👯 I’m looking to collaborate on web3 projects

  • 💬 Ask me about zk, formal verification, the future of decentralisation and what coffee I like

  • 📫 How to reach me [email protected] (Privacy alias)

  • 🕸️ Visit my blog: https://nikolish.in

Connect with me:

skymanone skymanone skymanone

skymanone

Pinned Loading

  1. folidity folidity Public

    Formally Verifiable Smart Contract language

    Rust 6

  2. vote-pray-love vote-pray-love Public

    Quadratic voting system with slashing mechanism using Substrate

    Rust 2 1

  3. zink zink Public

    An attempt to use risc0 with ink!

    Rust 14 1

  4. IcedPFS IcedPFS Public

    User-friendly IPFS client written in iced rust

    Rust 3 2

  5. use-ink/ink use-ink/ink Public

    Polkadot's ink! to write smart contracts.

    Rust 1.5k 477

  6. use-ink/cargo-contract use-ink/cargo-contract Public

    Swiss-army knife for developing Rust smart contracts with ink!

    Rust 280 127