Så bygger vi

Hypefox skriver och driver sin egen plattform. Det här är reglerna varje ändring följer, i koden och innan den når en server i drift.

Så går en release ut

  1. Testad

    Varje ändring klarar hela testsviten och kodkontrollerna i CI innan den får slås ihop.

  2. Byggd och signerad

    Releasen byggs från den committen och signeras med Ed25519 och ML-DSA-65.

  3. Repeterad

    Den körs först på en full kopia av produktionen: installeras, startas om, rullas tillbaka och installeras igen.

  4. Utrullad

    På servern i drift byts varje modul i tur och ordning och kontrolleras innan nästa går.

  5. Tillbakarullad om den fallerar

    En release som inte klarar sina hälsokontroller backas av servern själv, till releasen som kördes innan.

Standarder

  • Säger nej vid osäkerhet

    När en säkerhetskontroll inte kan besvaras blir svaret nej. Inget släpps igenom på en gissning, och operatören får veta varför.

  • Liten privilegierad kod

    De få delar som körs med root-rättigheter utför exakta, snävt kontrollerade order. Allt som fattar beslut eller minns något körs utan dem.

  • Inga kända kapplöpningar

    En kapplöpning som någon kan peka ut är en bugg. Den rättas genom att göra vägarna exklusiva, aldrig genom att vänta lite längre.

  • Varje rättning lämnar ett test

    En rättad bugg lämnar ett test som fallerar utan rättningen. Ett test som fallerar ibland är en bugg att hitta, inte att köra om.

  • Integritet som bygget kräver

    Besökares adresser anonymiseras som standard. Bygget stoppas om någon kod sparar en adress utanför det tillåtna steget.

  • Utformat innan det byggs

    Lagring, låsning och allt som kan krascha halvvägs beskrivs i text och granskas innan koden skrivs.

  • Tillgänglighet som krav

    Velrix gränssnitt ska uppfylla WCAG 2.2 AA, och en automatisk granskning kontrollerar varje app i både ljust och mörkt tema.

  • Regelefterlevnad i plattformen

    Varje modul anger vilka personuppgifter den behandlar, och begäranden om utlämnande besvaras ur modulernas eget underlag.

  • Fel med avsikt

    Plattformen stoppar en modul eller värdagent enligt schema, inom policyns gränser, och sparar varje återhämtning som bevis.

Det vi har byggt

En plattform för allt som körs
Webbplatser, appar, databaser, e-post, maskiner och jobb delar en kärna: en inloggning, en behörighetsmodell och gränser som ändras under drift.
Integritet som ett steg
Besöksloggen är ett steg i Velrix Edge, anonymiserad som standard (IPv4 /24, IPv6 /48). Avstängd sparar den inget, och ingen operatör kan lätta på ägarens val.
Fel som förklarar sig själva
När något går fel ser besökaren en dokumenterad kod och vilket lager som fallerade, och webbplatsens ägare får veta det direkt.

Hur varje del fungerar finns dokumenterat på velrix.com.

Programmerbar edge

Varje anrop till en webbplats eller app på Velrix går genom Velrix Edge, en kedja av steg som kunden själv ställer in.

  • Steg för vem som släpps in, omskrivningar och headers, kundens egen kod och cachen.
  • Varje steg har en egen brytare, och ett steg som skyddar nekar när det löser ut.
  • Ett valfritt steg som löser ut hoppas över, och webbplatsen fortsätter svara.
Så passerar ett anrop Velrix Edge: genom åtkomst, regler, ett edge-skript och cachen till appen, och tillbaka genom cachen, komprimeringen och åtkomstloggen. Ett valfritt steg vars brytare har löst ut hoppas över; ett fel visar en felsida med en dokumenterad kod.BesökareAnropÅtkomstvem får komma inRegleromskrivningarEdge-skriptdin egen kodCacheur minnetDin webbplats eller appbakom Velrix EdgeSvarCacheur minnetKomprimeringöppen brytare, hoppas överÅtkomstlogganonymiseradBesökare

Modulnätet

Velrix har ingen central server. Varje del är en modul med en egen signerad identitet, i en låst container utan root.

  • Modulerna hittar varandra själva och kommer överens om vad var och en får säga.
  • Varje kontrakt mellan dem har egna tester som modulerna hela tiden kör mot varandra.
  • Trafiken följer resultatet: en modul som slutar svara eller inte klarar testerna får ingen trafik förrän den klarar dem igen.
  • I våra feltester är en modul som stoppas hårt tillbaka efter ungefär 0,2 sekunder, och nätet är helt inom 0,4.

Velrix OS

Velrix körs på ett eget operativsystem, en signerad AlmaLinux-avbild.

  • Installeras med Secure Boot på en lokal disk, eller startas över nätverket helt utan disk.
  • En uppdatering byter hela avbilden, och en server som inte startar på den går tillbaka av sig själv.
  • En server utan internetanslutning uppdateras från ett USB-minne, och bara med en hårdvarunyckel registrerad till just den servern.
  • Modulnätet och varje projekts nät sträcker sig över servrarna som Geneve-överlägg, så anropen flyttar till en kopia på en annan server inom några sekunder.
Tre servrar med Velrix OS, där velrix-netd på varje server är kopplad till de andra med Geneve ovanpå det fysiska nätet. Modulnätet körs på det överlägget: Edge på server 1 anropar Fakturering, vars kopia på server 2 har stannat, så anropen går till kopian på server 3.Server 1Velrix OSEdgeIdentitetvelrix-netdsäkerhetsgrupper, DNSGeneveServer 2Velrix OSFaktureringstoppadDatabaservelrix-netdsäkerhetsgrupper, DNSGeneveServer 3Velrix OSFaktureringtar anropenWebbplatservelrix-netdsäkerhetsgrupper, DNSGeneve-överlägg mellan servrar
Edges anrop till Fakturering går till kopian på server 3

Säkerhetsrapporter

Rapportera en sårbarhet i något av Hypefox varumärken eller i vårt nätverk till contact@hypefox.net.

Samma adress finns publicerad i /.well-known/security.txt.