anton_trunov (Anton Trunov) | Keybase

anton_trunov

Anton Trunov

I'm a Coq programmer at Zilliqa Research Pte. Ltd., previously at IMDEA Software Intitute, Madrid, Spain

Saint Petersburg, Russia

Chat with anton_trunovStart a chat
Your conversation will be end-to-end encrypted.

2 devices

anton-trunov gist

anton-trunov post

anton_trunov*keybase.io

Chat with anton_trunovStart a chat
Your conversation will be end-to-end encrypted.

Following (1)

ichistmeinname
Sandra Dylus

Followers (1)

k4rtik
Kartik Singhal

Browse others (15)

wheelie

stan85

mattern
Denny Mattern

debila55
penio diulgerov

tehmieblizz

mati_ay

annnna
anna

bdekoz
Benjamin De Kosnik

mambrogi

sid003
Siddhartha

morveus
David Balland

eferpalo
Jorge Sánchez Fernández

lianilye
Liani Lye

xy22y
m̴͇͆ḁ̴̓t̷̳͠t̵̠̐ ̴͉͑b̴̰̅a̶̬͂r̷̭̆ṛ̸͌o̵͇̔n̴͕̚

maxabelson

What the heck is Keybase?

Keybase is an open source app

Keybase comes with everything you need to manage your identity, create secure chats, and share files privately. It's free.

It's fun too.

Over 100,000 people have joined Keybase so far to prove their identities, and it's growing rapidly.

Please send us feedback & bug reports.

Keybase, 2025 | read our blog
terms & privacy & security advisories & california ccpa & acceptable use