# 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.
