Skip to content

Instantly share code, notes, and snippets.

View hydrogenbond007's full-sized avatar

Madhav Goyal hydrogenbond007

View GitHub Profile
import streamlit as st
import pandas as pd
import networkx as nx
import plotly.graph_objects as go
from dataclasses import dataclass
from typing import Dict, List, Optional, Set, Tuple
from decimal import Decimal
import asyncio
from datetime import datetime
from tycho import TychoClient, TychoConfig
@hydrogenbond007
hydrogenbond007 / main.circom
Created February 24, 2023 18:14
trying out zkrepl
pragma circom 2.1.2;
include "circomlib/poseidon.circom";
// include "https://github.com/0xPARC/circom-secp256k1/blob/master/circuits/bigint.circom";
Example () {
signal input a;
signal input b;
signal output c;