synor/apps/web
Gulshan Yadav 1606776394 feat: Phase 7 critical tasks - security, formal verification, WASM crypto
## Formal Verification
- Add TLA+ specs for UTXO conservation (formal/tla/UTXOConservation.tla)
- Add TLA+ specs for GHOSTDAG ordering (formal/tla/GHOSTDAGOrdering.tla)
- Add mathematical proof of DAA convergence (formal/proofs/)
- Document Kani verification approach (formal/kani/)

## Bug Bounty Program
- Add SECURITY.md with vulnerability disclosure process
- Add docs/BUG_BOUNTY.md with $500-$100,000 reward tiers
- Define scope, rules, and response SLA

## Web Wallet Dilithium3 WASM Integration
- Build WASM module via Docker (498KB optimized)
- Add wasm-crypto.ts lazy loader for Dilithium3
- Add createHybridSignatureLocal() for full client-side signing
- Add createHybridSignatureSmart() for auto-mode selection
- Add Dockerfile.wasm and build scripts

## Security Review ($0 Approach)
- Add .github/workflows/security.yml CI workflow
- Add deny.toml for cargo-deny license/security checks
- Add Dockerfile.security for audit container
- Add scripts/security-audit.sh for local audits
- Configure cargo-audit, cargo-deny, cargo-geiger, gitleaks
2026-01-10 01:40:03 +05:30
..
public Initial commit: Synor blockchain monorepo 2026-01-08 05:22:17 +05:30
src feat: Phase 7 critical tasks - security, formal verification, WASM crypto 2026-01-10 01:40:03 +05:30
.gitignore Initial commit: Synor blockchain monorepo 2026-01-08 05:22:17 +05:30
index.html Initial commit: Synor blockchain monorepo 2026-01-08 05:22:17 +05:30
package.json Initial commit: Synor blockchain monorepo 2026-01-08 05:22:17 +05:30
postcss.config.js Initial commit: Synor blockchain monorepo 2026-01-08 05:22:17 +05:30
README.md Initial commit: Synor blockchain monorepo 2026-01-08 05:22:17 +05:30
tailwind.config.js Initial commit: Synor blockchain monorepo 2026-01-08 05:22:17 +05:30
tsconfig.json Initial commit: Synor blockchain monorepo 2026-01-08 05:22:17 +05:30
tsconfig.node.json Initial commit: Synor blockchain monorepo 2026-01-08 05:22:17 +05:30
vite.config.ts feat: Phase 7 critical tasks - security, formal verification, WASM crypto 2026-01-10 01:40:03 +05:30

Synor Web Wallet

A quantum-secure web wallet for the Synor blockchain.

Features

  • Create and recover wallets using BIP39 mnemonic phrases
  • Send and receive SYNOR tokens
  • View transaction history
  • Connect to any Synor RPC node
  • Support for mainnet, testnet, and devnet

Development

# Install dependencies
npm install

# Start development server
npm run dev

# Build for production
npm run build

# Preview production build
npm run preview

Configuration

Create a .env.local file:

VITE_RPC_ENDPOINT=http://localhost:16110

Security

  • Private keys are encrypted with AES-256-GCM using PBKDF2-derived keys
  • Seeds never leave the browser
  • No backend required - connects directly to Synor nodes

Architecture

src/
├── components/     # Reusable UI components
├── lib/            # Core libraries
│   ├── crypto.ts   # Cryptographic functions
│   ├── rpc.ts      # JSON-RPC client
│   └── transaction.ts # Transaction building
├── pages/          # Route pages
├── store/          # Zustand state management
└── App.tsx         # Main application