Computer science, graph theory, parallelism, consensus; taking Kaspa to the next level