amit0365 Goto Github PK

amit0365.github.io

🚀 My portfolio

applied-cryptography-project1

Cryptanalysis of a Class of Ciphers based on Statistical Methods

blake-halo2

cairo-vm

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.

chiquito

circom-compat

Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.

circom-starter

basic circom project using hardhat-circom (upgrade to circom2 is WIP)

dark-energy-model-parameter-estimation-using-emcee

dm-hw2

docker-test

encode-zk

Encode zk bootcamp lessons and homework

eth-denver-ezkl

ff

Traits and utilities for working with finite fields.

folding-benchmark

front-end-pennh

gnark

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

gnark-crypto

gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems.

group

Elliptic curve group traits and utilities.

hacknyu-amit

halo2

halo2-examples

Include halo2 example circuits

halo2-lib

Monorepo of halo2 crates

halo2-scaffold-excercises

halo2wrong

hospital-readmissions

hw2

hw

indoornavplacenote

jellyfish

A Rust Implementation of the PLONK ZKP System and Extensions

karma-penn

lasso

The lookup singularity. Based on Spartan; built on Arkworks.