hashcashier Goto Github PK

0xprojectvdf1024

Updates for 1024 bits

adaptive-dispute-cutoffs

Khalil, R. and Dulay, N. 2021. 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services. Adaptive layer-two dispute cutoffs in smart-contract blockchains.

advanced-systems-lab-16

airassembly

Low-level language for encoding AIR of computations

airscript

Scripting language for defining zk-STARKs

algebra

Libraries for finite field, elliptic curve, and polynomial arithmetic

appliedseclab

Applied Security Lab Project

awesome-zero-knowledge-proofs

A curated list of awesome things related to learning zero knowledge proofs

bellman

zk-SNARK library

bitcointhroughputanalysis

Analysis of Bitcoin's current and future transaction throughput bottlenecks.

buck

A build system that encourages the creation of small, reusable modules.

cairo-lang

chiavdf

Chia VDF utilities

class

Rust library for building IQC: cryptography based on class groups of imaginary quadratic orders

clpfd-meal-workout-planner

Constraint Programming

crypto51

https://www.crypto51.app/

csen1061-assignment-modeling

csen1061-project1-traffic-data-analysis

Traffic Data Analysis

darkforest-v0.3

Dark Forest v0.3

distaff

Zero-knowledge virtual machine written in Rust

ecfactory

SageMath library for constructing elliptic curves

elliptic-curve-solidity

Elliptic Curve arithmetic operations written in Solidity

engineeringladders

A framework for Engineering Managers

eth-proof

Get a merkle-proof from the blockchain. Verify it locally.

ethereum-vpm

R0-Based Ethereum verification & proving module

ethers-rs

Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers

ethsnarks

A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop

ethstark

foundations-of-information

A book to support the INFO 200 Intellectual Foundations of Information course.

galois

Arithmetic and polynomial operations in finite fields.