> For the complete documentation index, see [llms.txt](https://fogcomputingchain.gitbook.io/fog-computing-chain/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://fogcomputingchain.gitbook.io/fog-computing-chain/about-fogr/fogr-blockchain-implementation/contract-calculation.md).

# Contract calculation

In FOGR, we creatively decouple computing and consensus, separate the computing part of the contract, and construct more efficient and secure computing. The main features are:

Computational essentialization: the computational logic of FOGR smart contract is compiled into Boolean circuit to regress the computational essence.

Computing parallelization: Based on Boolean circuits, computing tasks are divided into smaller computing units and distributed to different computing providers for computing, which will realize real parallel computing.

Computing flattening: the computing logic based on Boolean circuit is directly executed in special computing hardware, eliminating all intermediate links.

Computing privacy: a variety of cutting-edge cryptography technologies such as secure multi-party computing, verifiable computing and zero knowledge proof are fully used to strongly protect user privacy, ensure data security and verify the correctness of calculation results.