Company Description Hyperlink InfoSystem is a globally trusted IT consulting and mobile app development company, specializing in AI-driven, scalable digital solutions for startups, SMBs, and large enterprises. Since 2011, the company has delivered 4500+ mobile apps and 2000+ web solutions, supported by a team of 1200+ technology professionals.

Its service portfolio spans mobile and web development, AI and Generative AI, Machine Learning, Salesforce CRM, Blockchain, IoT, and custom software development for diverse industries such as healthcare, fintech, e-commerce, education, logistics, and gaming. With over 2700 global clients and 6500+ solutions delivered, Hyperlink InfoSystem focuses on agility, security, performance, and long-term, transparent partnerships. The organization takes an AI-first approach to building digital ecosystems that automate processes, enhance user experiences, and drive measurable business growth.

Role Description This is a full time, on-site Blockchain Developer role based in Ahmedabad. The

Key Responsibilities

· Design and implement Layer-1 consensus protocol in Rust.

· Build and maintain the formal TLA+ specification.

· Perform formal verification using TLC and Apalache.

· Implement Tower BFT consensus.

· Develop validator voting and leader election logic.

· Implement BLS12-381 signature aggregation.

· Optimize consensus performance for sub-second finality.

· Build consensus testing and simulation framework.

· Resolve consensus security audit findings.





· Collaborate with Protocol, Cryptography, Networking, and Security teams.

Mandatory Technical Skills

Blockchain

· Layer-1 Blockchain Development

· Consensus Protocols

· Validator Architecture

· Byzantine Fault Tolerance

· Finality Mechanisms

· Fork Choice Rules

· Slashing

· Staking

Programming

· Rust (Expert Level)

Formal Verification

· TLA+

· TLC

· Apalache

Cryptography

· BLS12-381

· Aggregate Signatures

· Threshold Signatures

· Merkle Trees

· VRFs

Distributed Systems

· Distributed Consensus

· Fault Tolerance

· Networking

· High-Performance Systems

Preferred Blockchain Experience

Candidates should have worked on one or more of the following:

· Solana

· Cosmos SDK / CometBFT

· Ethereum Consensus Layer

· Aptos

· Sui

· Avalanche

· Polkadot

· Near Protocol

· Celestia

Mandatory Experience

· 8+ years in Software Engineering.

· 4+ years in Blockchain Protocol Development.

· Hands-on experience building Layer-1 blockchain infrastructure.

· Experience implementing or modifying consensus algorithms.

· Production experience with Rust.

· Experience with formal verification tools (preferred).

· Experience working with distributed systems.

Good to Have

· Open-source blockchain contributions.

· Protocol performance optimization.

· Consensus security audits.

· Protocol upgrades/hard forks.

· Research background in distributed systems.

📌 Blockchain Developer (Ahmedabad)
🏢 Hyperlink Infosystem
📍 Ahmedabad