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";
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 |
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) |
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 |
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";
# %% | |
import pandas as pd | |
df = pd.read_csv('db.csv') | |
# print(df.head()) | |
print(df.columns) | |
# %% | |
df = df[["翻译","校对","信源","状态"]] | |
# remove trailing spaces from all columns |
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__) | |