CORE PROTOCOL ENGINEERING // ZUG · SAN FRANCISCO · SINGAPORE · REMOTE
Write Zero-Copy Rust Consensus & CUDA ZK Kernels.
Work alongside distributed systems researchers shipping sub-400ms BFT finality, Plonky3 GPU provers, and formal TLA+ specifications.
ZUG / REMOTE · RUST CORE
Staff Distributed Systems Engineer (BFT Consensus)
$240K–$310K + HLS Token Grant
Optimize pipelined HotStuff quorum voting, RaptorCast UDP erasure coding, and deterministic RocksDB/MDBX state trie snapshots.
Submit GitHub & Crate Links →
SAN FRANCISCO · ZK / CUDA
Principal Zero-Knowledge GPU Kernel Architect
$260K–$340K + HLS Token Grant
Author multi-GPU CUDA/PTX acceleration kernels for Plonky3 lookup arguments and verifiable FP16 LLM matrix commitments.
Submit GitHub & Crate Links →
SINGAPORE / EUROPE · SECURITY
Lead Smart Contract & Slashing Formal Verification
$220K–$285K + HLS Token Grant
Write Certora/Halmos formal invariants across dual-quorum AVS restaking vaults, DVT remote signers, and bridge light clients.
Submit GitHub & Crate Links →
HELIOS PROTOCOL
Modular L1 consensus, shared-security AVS restaking, and ZK-verified decentralized GPU compute network. Non-custodial marketing interface — zero wallet private keys or live RPC signing requested.
PROTOCOL & NODES
Modular L1 & AVS Architecture
Institutional Validator Clusters
Staking Tiers & Slashing Caps
Yield & Hardware Simulator
© 2026 HELIOS FOUNDATION ZUG · NON-CUSTODIAL INTERFACE · ILLUSTRATIVE APY SIMULATIONS ARE NOT FINANCIAL ADVICE
ZUG · SAN FRANCISCO · SINGAPORE · TRAIL OF BITS & SPEARBIT AUDITED