# Prover Environment ⎊ Area ⎊ Greeks.live --- ## What is the Algorithm of Prover Environment? A Prover Environment, within cryptocurrency and derivatives, fundamentally relies on algorithmic verification to establish the validity of state transitions and computations. This environment’s core function is to execute and confirm the correctness of complex financial models, such as those used for options pricing or collateralization ratios, without reliance on trusted intermediaries. Efficient algorithms are paramount, particularly in zero-knowledge proof systems, to minimize computational overhead and ensure scalability across blockchain networks. The selection of an appropriate algorithm directly impacts the security and performance characteristics of decentralized financial applications. ## What is the Architecture of Prover Environment? The architecture of a Prover Environment dictates the interaction between on-chain smart contracts and off-chain computation, often utilizing a combination of virtual machines and specialized hardware accelerators. This design must address the inherent trade-offs between computational cost, data privacy, and the trust assumptions placed on the prover. Layer-2 scaling solutions frequently incorporate Prover Environments to batch transactions and generate succinct proofs, reducing congestion on the main chain. A robust architecture is critical for maintaining the integrity of derivative settlements and mitigating systemic risk. ## What is the Calculation of Prover Environment? Precise calculation is the cornerstone of a Prover Environment, especially when dealing with the intricacies of financial derivatives and complex option strategies. These calculations encompass everything from volatility surface construction to the determination of fair value and risk exposures. The environment must support arbitrary precision arithmetic to avoid rounding errors that could lead to economic exploits or inaccurate pricing. Verification of these calculations, through cryptographic proofs, ensures that derivative contracts are executed according to pre-defined terms and conditions. --- ## [Prover Efficiency](https://term.greeks.live/term/prover-efficiency/) Meaning ⎊ Prover Efficiency determines the operational ceiling for high-frequency decentralized derivatives by linking computational latency to settlement finality. ⎊ Term ## [Zero-Knowledge Governance](https://term.greeks.live/term/zero-knowledge-governance/) Meaning ⎊ Zero-Knowledge Private Governance ensures the integrity of decentralized financial systems by enabling private, verifiable voting and collateral attestation, directly mitigating on-chain coercion and systemic risk. ⎊ Term ## [Zero Knowledge Rollup Prover Cost](https://term.greeks.live/term/zero-knowledge-rollup-prover-cost/) Meaning ⎊ The Zero Knowledge Rollup Prover Cost defines the computational and economic threshold for generating validity proofs to ensure trustless scalability. ⎊ Term ## [Adversarial Environment Game Theory](https://term.greeks.live/term/adversarial-environment-game-theory/) Meaning ⎊ Adversarial Environment Game Theory models decentralized markets as predatory systems where incentive alignment secures protocols against rational actors. ⎊ Term ## [Execution Environment Selection](https://term.greeks.live/term/execution-environment-selection/) Meaning ⎊ Execution Environment Selection defines the fundamental trade-offs between capital efficiency, counterparty risk, and censorship resistance for crypto derivative contracts. ⎊ Term ## [High Leverage Environment Analysis](https://term.greeks.live/term/high-leverage-environment-analysis/) Meaning ⎊ High Leverage Environment Analysis explores the non-linear risk dynamics inherent in crypto options, focusing on systemic fragility caused by dynamic risk profiles and cascading liquidations. ⎊ Term ## [Execution Environment Stability](https://term.greeks.live/term/execution-environment-stability/) Meaning ⎊ Execution Environment Stability ensures reliable and deterministic execution of derivatives under extreme market conditions by mitigating systemic risks across the underlying blockchain, oracles, and liquidation mechanisms. ⎊ Term ## [Adversarial Environment Design](https://term.greeks.live/term/adversarial-environment-design/) Meaning ⎊ Adversarial Environment Design proactively models and counters strategic attacks by rational actors to ensure the economic stability of decentralized financial protocols. ⎊ Term ## [Adversarial Environment Modeling](https://term.greeks.live/term/adversarial-environment-modeling/) Meaning ⎊ Adversarial Environment Modeling analyzes strategic, malicious behavior to ensure the economic security and resilience of decentralized financial protocols against exploits. ⎊ Term ## [Prover Verifier Model](https://term.greeks.live/term/prover-verifier-model/) Meaning ⎊ The Prover Verifier Model uses cryptographic proofs to verify financial transactions and collateral without revealing private data, enabling privacy preserving derivatives. ⎊ Term ## [Trustless Environment](https://term.greeks.live/definition/trustless-environment/) A system where transactions are guaranteed by code and mathematics rather than by trust in intermediaries or counterparties. ⎊ Term ## [Adversarial Market Environment](https://term.greeks.live/term/adversarial-market-environment/) Meaning ⎊ Adversarial Market Environment defines the perpetual systemic pressure in decentralized finance where protocol vulnerabilities are exploited by rational actors for financial gain. ⎊ Term ## [Execution Environment Costs](https://term.greeks.live/term/execution-environment-costs/) Meaning ⎊ Execution Environment Costs represent the comprehensive friction of executing and settling decentralized derivative trades, encompassing gas, latency, and MEV, which directly impact pricing and strategic viability. ⎊ Term ## [Execution Environment](https://term.greeks.live/term/execution-environment/) Meaning ⎊ The crypto options execution environment defines the automated architecture for pricing, trading, and settling derivatives contracts on-chain, directly impacting capital efficiency and systemic risk. ⎊ Term ## [Adversarial Environment](https://term.greeks.live/term/adversarial-environment/) Meaning ⎊ The adversarial environment defines the systemic pressures and strategic exploits inherent in decentralized options, where protocols must be designed to withstand constant value extraction attempts. ⎊ Term --- ## Raw Schema Data ```json { "@context": "https://schema.org", "@type": "BreadcrumbList", "itemListElement": [ { "@type": "ListItem", "position": 1, "name": "Home", "item": "https://term.greeks.live/" }, { "@type": "ListItem", "position": 2, "name": "Area", "item": "https://term.greeks.live/area/" }, { "@type": "ListItem", "position": 3, "name": "Prover Environment", "item": "https://term.greeks.live/area/prover-environment/" } ] } ``` ```json { "@context": "https://schema.org", "@type": "FAQPage", "mainEntity": [ { "@type": "Question", "name": "What is the Algorithm of Prover Environment?", "acceptedAnswer": { "@type": "Answer", "text": "A Prover Environment, within cryptocurrency and derivatives, fundamentally relies on algorithmic verification to establish the validity of state transitions and computations. This environment’s core function is to execute and confirm the correctness of complex financial models, such as those used for options pricing or collateralization ratios, without reliance on trusted intermediaries. Efficient algorithms are paramount, particularly in zero-knowledge proof systems, to minimize computational overhead and ensure scalability across blockchain networks. The selection of an appropriate algorithm directly impacts the security and performance characteristics of decentralized financial applications." } }, { "@type": "Question", "name": "What is the Architecture of Prover Environment?", "acceptedAnswer": { "@type": "Answer", "text": "The architecture of a Prover Environment dictates the interaction between on-chain smart contracts and off-chain computation, often utilizing a combination of virtual machines and specialized hardware accelerators. This design must address the inherent trade-offs between computational cost, data privacy, and the trust assumptions placed on the prover. Layer-2 scaling solutions frequently incorporate Prover Environments to batch transactions and generate succinct proofs, reducing congestion on the main chain. A robust architecture is critical for maintaining the integrity of derivative settlements and mitigating systemic risk." } }, { "@type": "Question", "name": "What is the Calculation of Prover Environment?", "acceptedAnswer": { "@type": "Answer", "text": "Precise calculation is the cornerstone of a Prover Environment, especially when dealing with the intricacies of financial derivatives and complex option strategies. These calculations encompass everything from volatility surface construction to the determination of fair value and risk exposures. The environment must support arbitrary precision arithmetic to avoid rounding errors that could lead to economic exploits or inaccurate pricing. Verification of these calculations, through cryptographic proofs, ensures that derivative contracts are executed according to pre-defined terms and conditions." } } ] } ``` ```json { "@context": "https://schema.org", "@type": "CollectionPage", "headline": "Prover Environment ⎊ Area ⎊ Greeks.live", "description": "Algorithm ⎊ A Prover Environment, within cryptocurrency and derivatives, fundamentally relies on algorithmic verification to establish the validity of state transitions and computations. This environment’s core function is to execute and confirm the correctness of complex financial models, such as those used for options pricing or collateralization ratios, without reliance on trusted intermediaries.", "url": "https://term.greeks.live/area/prover-environment/", "publisher": { "@type": "Organization", "name": "Greeks.live" }, "hasPart": [ { "@type": "Article", "@id": "https://term.greeks.live/term/prover-efficiency/", "url": "https://term.greeks.live/term/prover-efficiency/", "headline": "Prover Efficiency", "description": "Meaning ⎊ Prover Efficiency determines the operational ceiling for high-frequency decentralized derivatives by linking computational latency to settlement finality. ⎊ Term", "datePublished": "2026-02-13T12:17:38+00:00", "dateModified": "2026-02-13T12:19:53+00:00", "author": { "@type": "Person", "name": "Greeks.live", "url": "https://term.greeks.live/author/greeks-live/" }, "image": { "@type": "ImageObject", "url": "https://term.greeks.live/wp-content/uploads/2025/12/high-efficiency-decentralized-finance-protocol-engine-for-synthetic-asset-and-volatility-derivatives-strategies.jpg", "width": 3850, "height": 2166, "caption": "A conceptual render of a futuristic, high-performance vehicle with a prominent propeller and visible internal components. The sleek, streamlined design features a four-bladed propeller and an exposed central mechanism in vibrant blue, suggesting high-efficiency engineering." } }, { "@type": "Article", "@id": "https://term.greeks.live/term/zero-knowledge-governance/", "url": "https://term.greeks.live/term/zero-knowledge-governance/", "headline": "Zero-Knowledge Governance", "description": "Meaning ⎊ Zero-Knowledge Private Governance ensures the integrity of decentralized financial systems by enabling private, verifiable voting and collateral attestation, directly mitigating on-chain coercion and systemic risk. ⎊ Term", "datePublished": "2026-02-03T21:46:27+00:00", "dateModified": "2026-02-03T21:47:20+00:00", "author": { "@type": "Person", "name": "Greeks.live", "url": "https://term.greeks.live/author/greeks-live/" }, "image": { "@type": "ImageObject", "url": "https://term.greeks.live/wp-content/uploads/2025/12/interlocked-algorithmic-derivatives-and-risk-stratification-layers-protecting-smart-contract-liquidity-protocols.jpg", "width": 3850, "height": 2166, "caption": "An abstract 3D graphic depicts a layered, shell-like structure in dark blue, green, and cream colors, enclosing a central core with a vibrant green glow. The components interlock dynamically, creating a protective enclosure around the illuminated inner mechanism." } }, { "@type": "Article", "@id": "https://term.greeks.live/term/zero-knowledge-rollup-prover-cost/", "url": "https://term.greeks.live/term/zero-knowledge-rollup-prover-cost/", "headline": "Zero Knowledge Rollup Prover Cost", "description": "Meaning ⎊ The Zero Knowledge Rollup Prover Cost defines the computational and economic threshold for generating validity proofs to ensure trustless scalability. ⎊ Term", "datePublished": "2026-01-29T04:04:33+00:00", "dateModified": "2026-01-29T04:06:39+00:00", "author": { "@type": "Person", "name": "Greeks.live", "url": "https://term.greeks.live/author/greeks-live/" }, "image": { "@type": "ImageObject", "url": "https://term.greeks.live/wp-content/uploads/2025/12/complex-multilayered-structure-representing-decentralized-finance-protocol-architecture-and-risk-mitigation-strategies-in-derivatives-trading.jpg", "width": 3850, "height": 2166, "caption": "This abstract image displays a complex layered object composed of interlocking segments in varying shades of blue, green, and cream. The close-up perspective highlights the intricate mechanical structure and overlapping forms." } }, { "@type": "Article", "@id": "https://term.greeks.live/term/adversarial-environment-game-theory/", "url": "https://term.greeks.live/term/adversarial-environment-game-theory/", "headline": "Adversarial Environment Game Theory", "description": "Meaning ⎊ Adversarial Environment Game Theory models decentralized markets as predatory systems where incentive alignment secures protocols against rational actors. ⎊ Term", "datePublished": "2026-01-11T12:24:26+00:00", "dateModified": "2026-01-11T12:26:36+00:00", "author": { "@type": "Person", "name": "Greeks.live", "url": "https://term.greeks.live/author/greeks-live/" }, "image": { "@type": "ImageObject", "url": "https://term.greeks.live/wp-content/uploads/2025/12/interweaving-decentralized-finance-protocols-and-layered-derivative-contracts-in-a-volatile-crypto-market-environment.jpg", "width": 3850, "height": 2166, "caption": "The image displays a fluid, layered structure composed of wavy ribbons in various colors, including navy blue, light blue, bright green, and beige, against a dark background. The ribbons interlock and flow across the frame, creating a sense of dynamic motion and depth." } }, { "@type": "Article", "@id": "https://term.greeks.live/term/execution-environment-selection/", "url": "https://term.greeks.live/term/execution-environment-selection/", "headline": "Execution Environment Selection", "description": "Meaning ⎊ Execution Environment Selection defines the fundamental trade-offs between capital efficiency, counterparty risk, and censorship resistance for crypto derivative contracts. ⎊ Term", "datePublished": "2025-12-23T08:45:58+00:00", "dateModified": "2025-12-23T08:45:58+00:00", "author": { "@type": "Person", "name": "Greeks.live", "url": "https://term.greeks.live/author/greeks-live/" }, "image": { "@type": "ImageObject", "url": "https://term.greeks.live/wp-content/uploads/2025/12/algorithmic-trading-microstructure-low-latency-execution-venue-live-data-feed-terminal.jpg", "width": 3850, "height": 2166, "caption": "A sleek, curved electronic device with a metallic finish is depicted against a dark background. A bright green light shines from a central groove on its top surface, highlighting the high-tech design and reflective contours." } }, { "@type": "Article", "@id": "https://term.greeks.live/term/high-leverage-environment-analysis/", "url": "https://term.greeks.live/term/high-leverage-environment-analysis/", "headline": "High Leverage Environment Analysis", "description": "Meaning ⎊ High Leverage Environment Analysis explores the non-linear risk dynamics inherent in crypto options, focusing on systemic fragility caused by dynamic risk profiles and cascading liquidations. ⎊ Term", "datePublished": "2025-12-23T08:32:28+00:00", "dateModified": "2026-01-04T20:33:35+00:00", "author": { "@type": "Person", "name": "Greeks.live", "url": "https://term.greeks.live/author/greeks-live/" }, "image": { "@type": "ImageObject", "url": "https://term.greeks.live/wp-content/uploads/2025/12/layered-protocol-architecture-analysis-revealing-collateralization-ratios-and-algorithmic-liquidation-thresholds-in-decentralized-finance-derivatives.jpg", "width": 3850, "height": 2166, "caption": "A layered, tube-like structure is shown in close-up, with its outer dark blue layers peeling back to reveal an inner green core and a tan intermediate layer. A distinct bright blue ring glows between two of the dark blue layers, highlighting a key transition point in the structure." } }, { "@type": "Article", "@id": "https://term.greeks.live/term/execution-environment-stability/", "url": "https://term.greeks.live/term/execution-environment-stability/", "headline": "Execution Environment Stability", "description": "Meaning ⎊ Execution Environment Stability ensures reliable and deterministic execution of derivatives under extreme market conditions by mitigating systemic risks across the underlying blockchain, oracles, and liquidation mechanisms. ⎊ Term", "datePublished": "2025-12-22T11:36:36+00:00", "dateModified": "2025-12-22T11:36:36+00:00", "author": { "@type": "Person", "name": "Greeks.live", "url": "https://term.greeks.live/author/greeks-live/" }, "image": { "@type": "ImageObject", "url": "https://term.greeks.live/wp-content/uploads/2025/12/concentrated-liquidity-deployment-and-options-settlement-mechanism-in-decentralized-finance-protocol-architecture.jpg", "width": 3850, "height": 2166, "caption": "A high-resolution, close-up view captures the intricate details of a dark blue, smoothly curved mechanical part. A bright, neon green light glows from within a circular opening, creating a stark visual contrast with the dark background." } }, { "@type": "Article", "@id": "https://term.greeks.live/term/adversarial-environment-design/", "url": "https://term.greeks.live/term/adversarial-environment-design/", "headline": "Adversarial Environment Design", "description": "Meaning ⎊ Adversarial Environment Design proactively models and counters strategic attacks by rational actors to ensure the economic stability of decentralized financial protocols. ⎊ Term", "datePublished": "2025-12-22T10:42:17+00:00", "dateModified": "2025-12-22T10:42:17+00:00", "author": { "@type": "Person", "name": "Greeks.live", "url": "https://term.greeks.live/author/greeks-live/" }, "image": { "@type": "ImageObject", "url": "https://term.greeks.live/wp-content/uploads/2025/12/next-generation-algorithmic-risk-management-module-for-decentralized-derivatives-trading-protocols.jpg", "width": 3850, "height": 2166, "caption": "The image displays a detailed view of a futuristic, high-tech object with dark blue, light green, and glowing green elements. The intricate design suggests a mechanical component with a central energy core." } }, { "@type": "Article", "@id": "https://term.greeks.live/term/adversarial-environment-modeling/", "url": "https://term.greeks.live/term/adversarial-environment-modeling/", "headline": "Adversarial Environment Modeling", "description": "Meaning ⎊ Adversarial Environment Modeling analyzes strategic, malicious behavior to ensure the economic security and resilience of decentralized financial protocols against exploits. ⎊ Term", "datePublished": "2025-12-21T10:26:21+00:00", "dateModified": "2026-01-04T19:13:08+00:00", "author": { "@type": "Person", "name": "Greeks.live", "url": "https://term.greeks.live/author/greeks-live/" }, "image": { "@type": "ImageObject", "url": "https://term.greeks.live/wp-content/uploads/2025/12/collateralized-debt-position-interoperability-mechanism-modeling-smart-contract-execution-risk-stratification-in-decentralized-finance.jpg", "width": 3850, "height": 2166, "caption": "An abstract 3D render portrays a futuristic mechanical assembly featuring nested layers of rounded, rectangular frames and a central cylindrical shaft. The components include a light beige outer frame, a dark blue inner frame, and a vibrant green glowing element at the core, all set within a dark blue chassis." } }, { "@type": "Article", "@id": "https://term.greeks.live/term/prover-verifier-model/", "url": "https://term.greeks.live/term/prover-verifier-model/", "headline": "Prover Verifier Model", "description": "Meaning ⎊ The Prover Verifier Model uses cryptographic proofs to verify financial transactions and collateral without revealing private data, enabling privacy preserving derivatives. ⎊ Term", "datePublished": "2025-12-20T10:57:04+00:00", "dateModified": "2025-12-20T10:57:04+00:00", "author": { "@type": "Person", "name": "Greeks.live", "url": "https://term.greeks.live/author/greeks-live/" }, "image": { "@type": "ImageObject", "url": "https://term.greeks.live/wp-content/uploads/2025/12/layered-protocol-governance-sentinel-model-for-decentralized-finance-risk-mitigation-and-automated-market-making.jpg", "width": 3850, "height": 2166, "caption": "A high-tech, geometric object featuring multiple layers of blue, green, and cream-colored components is displayed against a dark background. The central part of the object contains a lens-like feature with a bright, luminous green circle, suggesting an advanced monitoring device or sensor." } }, { "@type": "Article", "@id": "https://term.greeks.live/definition/trustless-environment/", "url": "https://term.greeks.live/definition/trustless-environment/", "headline": "Trustless Environment", "description": "A system where transactions are guaranteed by code and mathematics rather than by trust in intermediaries or counterparties. ⎊ Term", "datePublished": "2025-12-20T09:56:33+00:00", "dateModified": "2026-03-20T12:35:53+00:00", "author": { "@type": "Person", "name": "Greeks.live", "url": "https://term.greeks.live/author/greeks-live/" }, "image": { "@type": "ImageObject", "url": "https://term.greeks.live/wp-content/uploads/2025/12/automated-market-maker-engine-core-logic-for-decentralized-options-trading-and-perpetual-futures-protocols.jpg", "width": 3850, "height": 2166, "caption": "A high-resolution 3D render displays a futuristic mechanical device with a blue angled front panel and a cream-colored body. A transparent section reveals a green internal framework containing a precision metal shaft and glowing components, set against a dark blue background." } }, { "@type": "Article", "@id": "https://term.greeks.live/term/adversarial-market-environment/", "url": "https://term.greeks.live/term/adversarial-market-environment/", "headline": "Adversarial Market Environment", "description": "Meaning ⎊ Adversarial Market Environment defines the perpetual systemic pressure in decentralized finance where protocol vulnerabilities are exploited by rational actors for financial gain. ⎊ Term", "datePublished": "2025-12-17T10:01:18+00:00", "dateModified": "2026-01-04T16:42:37+00:00", "author": { "@type": "Person", "name": "Greeks.live", "url": "https://term.greeks.live/author/greeks-live/" }, "image": { "@type": "ImageObject", "url": "https://term.greeks.live/wp-content/uploads/2025/12/market-microstructure-liquidity-provision-automated-market-maker-perpetual-swap-options-volatility-management.jpg", "width": 3850, "height": 2166, "caption": "A high-resolution abstract image displays layered, flowing forms in deep blue and black hues. A creamy white elongated object is channeled through the central groove, contrasting with a bright green feature on the right." } }, { "@type": "Article", "@id": "https://term.greeks.live/term/execution-environment-costs/", "url": "https://term.greeks.live/term/execution-environment-costs/", "headline": "Execution Environment Costs", "description": "Meaning ⎊ Execution Environment Costs represent the comprehensive friction of executing and settling decentralized derivative trades, encompassing gas, latency, and MEV, which directly impact pricing and strategic viability. ⎊ Term", "datePublished": "2025-12-16T11:29:28+00:00", "dateModified": "2025-12-16T11:29:28+00:00", "author": { "@type": "Person", "name": "Greeks.live", "url": "https://term.greeks.live/author/greeks-live/" }, "image": { "@type": "ImageObject", "url": "https://term.greeks.live/wp-content/uploads/2025/12/algorithmic-trading-microstructure-low-latency-execution-venue-live-data-feed-terminal.jpg", "width": 3850, "height": 2166, "caption": "A sleek, curved electronic device with a metallic finish is depicted against a dark background. A bright green light shines from a central groove on its top surface, highlighting the high-tech design and reflective contours." } }, { "@type": "Article", "@id": "https://term.greeks.live/term/execution-environment/", "url": "https://term.greeks.live/term/execution-environment/", "headline": "Execution Environment", "description": "Meaning ⎊ The crypto options execution environment defines the automated architecture for pricing, trading, and settling derivatives contracts on-chain, directly impacting capital efficiency and systemic risk. ⎊ Term", "datePublished": "2025-12-15T09:56:37+00:00", "dateModified": "2026-01-04T15:00:06+00:00", "author": { "@type": "Person", "name": "Greeks.live", "url": "https://term.greeks.live/author/greeks-live/" }, "image": { "@type": "ImageObject", "url": "https://term.greeks.live/wp-content/uploads/2025/12/algorithmic-execution-engine-for-decentralized-finance-smart-contracts-and-interoperability-protocols.jpg", "width": 3850, "height": 2166, "caption": "A highly detailed close-up shows a futuristic technological device with a dark, cylindrical handle connected to a complex, articulated spherical head. The head features white and blue panels, with a prominent glowing green core that emits light through a central aperture and along a side groove." } }, { "@type": "Article", "@id": "https://term.greeks.live/term/adversarial-environment/", "url": "https://term.greeks.live/term/adversarial-environment/", "headline": "Adversarial Environment", "description": "Meaning ⎊ The adversarial environment defines the systemic pressures and strategic exploits inherent in decentralized options, where protocols must be designed to withstand constant value extraction attempts. ⎊ Term", "datePublished": "2025-12-12T16:26:22+00:00", "dateModified": "2025-12-12T16:26:22+00:00", "author": { "@type": "Person", "name": "Greeks.live", "url": "https://term.greeks.live/author/greeks-live/" }, "image": { "@type": "ImageObject", "url": "https://term.greeks.live/wp-content/uploads/2025/12/analyzing-high-frequency-trading-infrastructure-for-derivatives-and-cross-chain-liquidity-provision-protocols.jpg", "width": 3850, "height": 2166, "caption": "The image displays two symmetrical high-gloss components—one predominantly blue and green the other green and blue—set within recessed slots of a dark blue contoured surface. A light-colored trim traces the perimeter of the component recesses emphasizing their precise placement in the infrastructure." } } ], "image": { "@type": "ImageObject", "url": "https://term.greeks.live/wp-content/uploads/2025/12/high-efficiency-decentralized-finance-protocol-engine-for-synthetic-asset-and-volatility-derivatives-strategies.jpg" } } ``` --- **Original URL:** https://term.greeks.live/area/prover-environment/