Merge pull request #7 from palinatolmach/master

Update Runtime Verification info
NethermindEth · Dec 3, 2024 · f6fc29d · f6fc29d
2 parents 58f2212 + 9fa1700
commit f6fc29d
Showing 1 changed file with 14 additions and 7 deletions.
diff --git a/src/data/firms.ts b/src/data/firms.ts
@@ -18,7 +18,11 @@ export enum Stack {
   Algorand = "Algorand",
   Polygon = "Polygon",
   Starknet = "Starknet",
-  AlephZero = "Aleph Zero"
+  AlephZero = "Aleph Zero",
+  Stellar = "Stellar",
+  Polkadot = "Polkadot",
+  MultiversX = "MultiversX",
+  Cosmos = "Cosmos"
 }
 
 export enum FVTools {
@@ -58,7 +62,10 @@ export enum Language {
   Cairo = "Cairo",
   PyTeal = "PyTeal",
   OCaml = "OCaml",
-  TypeScript = "TypeScript"
+  TypeScript = "TypeScript",
+  Soroban = "Soroban",
+  TEAL = "TEAL",
+  Go = "Go"
 }
 
 
@@ -77,11 +84,11 @@ export const firms: Firm[] = [
     {
       "id": 3,
       "name": "Runtime Verification",
-      "specialties": [Speciality.SmartContractVerification, Speciality.VirtualMachineVerification],
-      "description": "Focused on runtime verification techniques, they provide thorough smart contract verification, analysis, and advisory services for blockchain technologies.",
-      "languages": [Language.Solidity, Language.Vyper, Language.Haskell],
-      "stacks": [Stack.Ethereum, Stack.Tezos, Stack.Algorand],
-      "fv_language": [FVTools.KFramework, FVTools.Coq],
+      "specialties": [Speciality.SmartContractVerification, Speciality.DeFiProtocolVerification, Speciality.VirtualMachineVerification, Speciality.ConsensusProtocolVerification],
+      "description": "Focused on formal verification techniques, they provide comprehensive smart contract verification, fuzz testing, security auditing, and advisory services for various blockchain ecosystems, while also developing high-quality open-source security tools.",
+      "languages": [Language.Solidity, Language.Vyper, Language.Rust, Language.Soroban, Language.Haskell, Language.TEAL, Language.PyTeal, Language.Go],
+      "stacks": [Stack.Ethereum, Stack.Stellar, Stack.Polkadot, Stack.MultiversX, Stack.Cosmos, Stack.Tezos, Stack.Algorand],
+      "fv_language": [FVTools.KFramework, FVTools.Z3, FVTools.Lean4, FVTools.Coq],
       "svg": "runtime.svg",
       "link": "https://runtimeverification.com/"
     },