In order to understand the advancements used to reduce proving time and memory costs, we can break down the overall implementation into three components: Bowe-Hopwood Pedersen Hash, Bellman and Split Circuit.