Explore a groundbreaking approach to reducing costs in large-scale replicated systems under a Byzantine fault model in this IEEE conference talk. Discover how the proposed method transforms replicated state machines (RSMs) to delegate state machine execution, utilizing an untrusted prover to produce cryptographic proofs of correct state transitions. Learn about Piperine, a system designed to make proof machinery profitable in RSMs by reducing proving and verifying costs while maintaining liveness. Examine the experimental results demonstrating Piperine's effectiveness in a payment service and its application to ERC-20 transactions in Ethereum, showcasing significant reductions in per-transaction and network costs. Delve into topics such as PCPs, SNARKs, state extraction, and performance optimizations. Gain insights into the potential of this innovative approach for improving efficiency in real-world RSMs with large numbers of nodes.