anton_trunov (Anton Trunov)

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*keybase.io

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

ichistmeinname
Sandra Dylus

k4rtik
Kartik Singhal

rustyshakkleford

zackseward
Zack Seward

spacebitxyz

jke
Juergen Eichholz

codyrobert
Cody Baker

andrei_deac
Andrei Deac

diegocardona
Diego Cardona

dm_istomin
Dmitriy Istomin

ryanbethem

amaurydb
Amaury DUCHENE

dan0

crazyorc

serbian
Serb

lou_da_chris

sieroaoj
João Reis

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.