avras Goto Github PK

addition

arbitrum

Powers fast, private, decentralized applications

asim

Another SIMulator in Haskell

assigner

Generating student specific assignments from an exam class LaTeX file containing all questions

bellpepper

SNARK Circuit library

bellpepper-gadgets

A library of gadgets compatible with bellpepper and bellperson

bellpepper-tutorial-files

Files used in a bellpepper tutorial

bellperson-ed25519

Ed25519 curve operations using the bellperson-emulated library

bellperson-emulated

Nonnative arithmetic library inspired by the Gnark emulated approach

bellperson-nonnative

Non-native arithmetic for SNARKs

bitcoinvm

Implementation of BitcoinVM circuit using Halo2

bp-ed25519

bellperson gadget for ed22519 curve operations

camp

circom-mimc-benchmark

Scripts to measure snarkjs proving and verification times of circom circuits

community-hub

[Optimism] Community Hub

cryptodocs

Notes on cryptocurrency and blockchain technologies

cryptonote-analysis

Programs and scripts for CryptoNote transaction graph analysis

cudd

CU Decision Diagram Package (CUDD, unofficial mirror)

diagrams-gtk-graphviz-example

Example program showing interface between the Haskell diagrams library and graphviz

dotfiles

Configuration files

ee337-nfts

EE337 Instructor NFTs

ee703-2013

LaTeX files from the course EE703 Digital Message Transmission (Autumn 2013) at IIT Bombay

eesite

Source of http://www.ee.iitb.ac.in/~sarva

eth2-book

A book about Ethereum

fabric-samples-temp

grant-templates

LaTeX templates for Indian academic grant applications

graph-generators

A Haskell library for creating random Data.Graph instances using several pop

halo2lg-experiments

Halo2 Learning Group Experiments

hermez-docs

Hermez documentation

map_to_curve

Map-to-curve exoeriments