doutv

from django.core.files.storage import Storage
from django.conf import settings
from django.utils.deconstruct import deconstructible
import requests
from django.core.files import File

import logging
logger = logging.getLogger(__name__)

doutv

# %%
import pandas as pd

df = pd.read_csv('db.csv')
# print(df.head())
print(df.columns)

# %%
df = df[["翻译","校对","信源","状态"]]
# remove trailing spaces from all columns

doutv

This program proves that I know 2 secret inputs a and b, such that a*b=c, c is a public value.

Open this in zkREPL →

This file can be included into other zkREPLs with include "gist:0ed578125b251ff555d1bdbbef62036a";

doutv

pragma circom 2.0.1;

include "https://github.com/iden3/circomlib/blob/master/circuits/comparators.circom";
include "https://github.com/iden3/circomlib/blob/master/circuits/switcher.circom";

template ArgMax (n) {
    signal input in[n];
    signal output out;
    component gts[n];        // store comparators
    component switchers[n+1];  // switcher for comparing maxs

doutv

import json
from operator import is_not
from functools import partial

name = input("Enter filename: ")
with open(f"{name}.r1cs.json", "r") as f:
    r1cs = json.load(f)
with open(f"{name}.wtns.json", "r") as f:
    wtns = json.load(f)

doutv

jobs:
  build:
    runs-on: ubuntu-latest

    steps:
    - name: Clone main repository
      uses: actions/checkout@v4

    - name: Add SSH private keys for submodule repositories
      uses: webfactory/ssh-agent@v0.9.0