SkymanOne

Follow

🎯

Focusing

Gherman SkymanOne

🎯

Focusing

Follow

Just coding blockchains and stuff

77 followers · 39 following

@librecapital
United Kingdom
04:02 (UTC)
nikolish.in
@skyman_one
in/skymanone

Organizations

SkymanOne/README.md

Hi 👋, I'm Gherman Nicolisin

🌱 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 german.nikolishin@gmail.com
🕸️ Visit my blog: https://nikolish.in

Connect with me:

Pinned Loading

folidity folidity Public

Formally Verifiable Smart Contract language

Rust 6
vote-pray-love vote-pray-love Public

Quadratic voting system with slashing mechanism using Substrate

Rust 2 1
zink zink Public

An attempt to use risc0 with ink!

Rust 13 1
IcedPFS IcedPFS Public

User-friendly IPFS client written in iced rust

Rust 3 2
use-ink/ink use-ink/ink Public

Polkadot's ink! to write smart contracts.

Rust 1.4k 481
use-ink/cargo-contract use-ink/cargo-contract Public

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

Rust 276 126