Jukov Evgeni Uladimirouich
Senior Software Engineer | Cryptography & Blockchain
Crans-Montana, Valais, Switzerland
Phone: +41 22 886 07 07 | Email: rusted.eugene@gmail.com
LinkedIn: www.linkedin.com/in/evgenijzhukov
Professional Summary
Senior Software Engineer with extensive experience in cryptography, blockchain development, and distributed systems. Specialized in homomorphic encryption, Zero-Knowledge Proofs (Zk-plonk), Optimistic Rollups, and substrate development. Proven ability to implement complex cryptographic algorithms and blockchain mechanisms. With over 7 years of blockchain analytics and programming, 12 years of Haskell programming, and 18 years of C programming, I bring deep technical expertise and leadership to pioneering blockchain solutions.
Professional Experience
Senior Software Engineer
Ankr | August 2022 - September 2024 | California, United States
- Led concept and implementation of homomorphic encryption, Zk-plonk, and Optimistic Rollups.
- Developed algorithms using elliptic curves (secp256k1, ed25519) and pairing-based cryptography (bn256, bls381).
- Enhanced blockchain privacy using full homomorphic encryption with lattices and polynomials.
- Worked with advanced cryptographic techniques, including XMSS+, WOTS+, and hash-based cryptography.
Senior Rust Developer / Substrate Developer
RioDeFi | September 2021 - December 2022 | Hong Kong SAR
- Built staking mechanisms for a Polkadot-customized network using Substrate, enhancing network security and incentivizing token holders.
- Maintained network infrastructure and implemented parachain features for Westend/Kusama networks, ensuring smooth operation and compatibility.
- Developed DeFi staking smart contracts using Rust and integrated ORML practices for asset management, improving liquidity and user engagement.
- Participated in Polkadot testnet and mainnet auctions:
- Prepared and optimized parachain configurations for auction participation.
- Implemented crowdloan functionality to gather community support for auction bids.
- Monitored auction progress and adjusted bidding strategies in real-time.
- Coordinated with the team to ensure successful parachain slot acquisition.
- Implemented cross-chain messaging systems:
- Developed and integrated XCMP (Cross-Chain Message Passing) protocols for seamless communication between parachains.
- Implemented and tested VMP (Vertical Message Passing) for relay chain to parachain communication.
- Optimized message routing and handling to minimize latency and ensure message integrity.
- Designed and executed data migration procedures:
- Created tools for efficient state migration between different chain versions and configurations.
- Implemented failsafe mechanisms and rollback procedures to ensure data integrity during migrations.
- Optimized large-scale data transfers to minimize downtime during upgrades and chain transitions.
Senior OCaml Developer
Paxnet | January 2019 - February 2021 | Seoul, Korea
- Built a Distributed Hash Table (DHT) layer from scratch using OCaml:
- Implemented Kademlia protocol for peer discovery and routing in the distributed network.
- Optimized data storage and retrieval mechanisms for efficient key-value pair management.
- Developed robust error handling and network resilience features to ensure system stability.
- Rewrote PBFT (Practical Byzantine Fault Tolerance) consensus algorithm in Rust:
- Collaborated with developers at POANetworks to optimize the implementation for high-throughput blockchain systems.
- Implemented view-change protocol to handle leader failures and maintain consensus.
- Designed and implemented comprehensive testing suite to ensure algorithm correctness and performance.
- Implemented HBBFT (Honey Badger Byzantine Fault Tolerant) consensus algorithm in Rust:
- Integrated threshold cryptography for enhanced security in the consensus process.
- Optimized the algorithm for asynchronous networks, improving resilience against network delays and partitions.
- Developed monitoring and analytics tools to track consensus performance and network health.
- Contributed to the development of a custom blockchain platform:
- Designed and implemented core blockchain components including transaction processing, block validation, and chain management.
- Developed APIs for seamless integration with external systems and applications.
- Optimized database interactions for high-throughput transaction processing.
OCaml Engineer
MathLabs Russia | November 2013 - November 2016 | Saint Petersburg, Russia
- Utilized Coq for formal verification and theorem proving in cryptographic algorithms:
- Developed formal proofs for security properties of encryption schemes, including semantic security and chosen-ciphertext attack resistance.
- Verified correctness of key exchange protocols, ensuring their resistance against various attack vectors.
- Formalized and proved security properties of digital signature schemes.
- Implemented and verified advanced cryptographic primitives:
- Developed formally verified implementations of elliptic curve cryptography (ECC) algorithms.
- Created and proved correct implementations of zero-knowledge proof systems.
- Implemented and verified homomorphic encryption schemes for secure computation on encrypted data.
- Contributed to the development of a secure communication framework:
- Designed and implemented a formally verified secure channel protocol.
- Developed provably secure key management and distribution systems.
- Created formally verified implementations of authentication mechanisms.
- Collaborated on research projects in applied cryptography:
- Contributed to the development of post-quantum cryptographic algorithms.
- Researched and implemented privacy-preserving techniques for blockchain systems.
- Explored applications of formal methods in the verification of smart contract security.
Education
Institute of Cybernetics in Ukraine
Postgraduate Degree, Computer Science
February 2017 - April 2021
Kaluga State University
Bachelor of Engineering, Computer Science
2000 - 2005
Skills
Programming Languages
- Rust (7+ years)
- C (18+ years)
- C++ (10+ years)
- Go (5+ years)
- C# (8+ years)
- Haskell (12+ years)
- OCaml (7+ years)
- JavaScript (10+ years)
- Ruby (5+ years)
- Java (5+ years)
Cryptography
- Finite fields and DLP
- Elliptic curves (secp256k1, ed25519)
- Edwards curves
- Bilinear pairing (bn256, bls381)
- Ring signatures
- Threshold schemes
- XMSS, WOTS
- Rolling hashing
- Matrix-based cryptography
- Homomorphic cryptography
- Zero-Knowledge Proofs (Zk-plonk)
Blockchain Development
- Bitcoin-NG
- Hashgraph
- DAG
- Sharding
- SideChain
- Scriptless scripts
- Bitcoin script
- Substrate development
- Parachain development
- Custom relay chain creation
- Optimistic Rollups
Advanced Block Theory
- Avalanche
- Snowball
- Solana PoH
- Honeybadger BFT
- Libre Hotstuff
- ZK-STARK
- ZK-cairo
Networking & System Administration
- IP, IPv6, TCP, UDP
- GRE, IPSEC, HTTP, VPN
- OPENVPN, PPPOE, ARP
- Ethernet, VLANs, Cisco, OSPF
- Linux/Unix administration
- Server tools (Postfix, Apache, Nginx, Squid, GitLab, Redmine, Rocketchat)
Web Development
- Node.js
- Phantom.js
- React.js
- Ruby on Rails
- Client/server-side JavaScript
- API integration (Twitter, VK, Google+, GitHub, Facebook)
Databases
- RocksDB
- LevelDB
- Shared memory
- Prefix iterators
- Column families
DevOps & Tools
- Docker
- Nix
- Git
- CI/CD pipelines
