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 Consens

📌 Blockchain Developer (Ahmedabad)
🏢 Hyperlink Infosystem
📍 Ahmedabad