Sample Project

Example Repository

Agenda

As part of this project, we chose a Python file at random and added a new function, which underwent a thorough review and verification process by our POC before being merged into the codebase.

sec_database_ops.py

export default defineConfig({
import ccxt
import numpy as np
import pandas as pd
...
...
class CryptoTradingBot:
    def some_functions_to_made
        // some function to implement
...
...
if __name__ == "__main__":
    bot = CryptoTradingBot('binance', 'BTC/USDT')z

});

Usage of ZK-circuits

In the example/verify_js folder contains a JavaScript implementation of a verification system for zero-knowledge proofs. This folder is part of a larger project that aims to provide a secure and private way to verify the correctness of computations without revealing the underlying data.

Note

In real world the issue creator will have to generate all this before starting an issue ,deploy the verify.sol

Folder Structure

• Directoryexample/verify_js/

  • generate_witness.js
  • input.json
  • proof.json
  • public.json
  • verification_key.json
  • verifier.sol
  • witness_calculator.js

Key Components

1. generate_witness.js

This script generates a witness for a given input using the witness_calculator.js module.

2. input.json

This file contains the input data for the verification process.

3. proof.json

This file contains the proof generated by the generate_witness.js script.

4. public.json

This file contains the public parameters for the verification process.

5. verification_key.json

This file contains the verification key used to verify the proof.

6. verifier.sol

This is a Solidity contract that verifies the proof on the Ethereum blockchain.

7. witness_calculator.js

This module calculates the witness for a given input.

Usage

To use the verification system, follow these steps:

1. Run node generate_witness.js to generate a witness for the input data in input.json.
2. The generated witness is stored in proof.json.
3. Use the verifier.sol contract to verify the proof on the Ethereum blockchain.

Note: This is a high-level overview of the example/verify_js folder. For a more detailed explanation, please refer to the documentation and code comments within each file.