HyperSafeD

Stellar Soroban Security & Formal Verification Suite- Static Analysis, Runtime Guards, and Formal Verification Bridge.

🏆 Stellar Scaffold Hackathon Winner — Trustless freelancer escrow on Stellar Soroban. Milestone-based payments, dispute resolution, and on-chain reputation.

dApp that brings transparency to product delivery by tracking orders on-chain. It ensures trust between buyers and sellers through verifiable, decentralized order records.

Decentralized asset registry Register and transfer ownership of physical/digital assets Like a blockchain-based property deed system

Create and execute legal-style agreements on-chain Automated enforcement of terms

a decentralized governance protocol designed to ensure transparent, community-driven decision-making and fund management. Built with Solidity, it empowers members to propose, vote, and execute treasury actions securely—removing the need for centralized control.