madars Goto Github PK

apparmor-profiles

ate-pairing

ate-pairing-experiments

blocksens

SAT instance generator for investigating the sensitivity vs block sensitivity problem

code

👾 Interactive coding challenges to test and apply your knowledge

cryptominisat

An advanced SAT Solver

dmca

Repository with text of DMCA takedown notices as received. GitHub does not endorse or adopt any assertion contained in the following notices. Users identified in the notices are presumed innocent until proven guilty. Additional information about our DMCA policy can be found at

evmone

Fast Ethereum Virtual Machine implementation

gp-saml-gui

Interactively authenticate to GlobalProtect VPNs that require SAML

libff

C++ library for Finite Fields and Elliptic Curves

libfqfft

C++ library for Fast Fourier Transforms in finite fields

librebooting-notes

libsnark

C++ library for zkSNARKs

libsnark-supercop

Subset of the supercop (http://bench.cr.yp.to/supercop.html) sources used in the libsnark ADSNARK demonstrating example.

machtype

madars.github.io

opencbdc-tx

A transaction processor for a hypothetical, general-purpose, central bank digital currency

plonkathon

my experiments from plonkathon.com

rolis-eurosys2022

Rolis: a software approach to efficiently replicating multi-core transactions; eurosys2022

sagews2txt

Quick and dirty script to liberate Sage worksheets from Sagemath Cloud

spritz

Investigation of biases in Spritz, a drop-in replacement for RC4

ssss-sage

An auditable implementation of Shamir's secret sharing scheme in Sage

tinyparsec

verifiabledb

This implements a Verifable database within Python's Django

xbyak

a JIT assembler for x86(IA-32)/x64(AMD64, x86-64) MMX/SSE/SSE2/SSE3/SSSE3/SSE4/FPU/AVX/AVX2 by C++ header

xref-config

SIPB OpenGrok installation configuration files

youtube-dl

Command-line program to download videos from YouTube.com and other video sites

z3

The Z3 Theorem Prover

zcash-docker

Running a minimal Zcash container inside Google's gVisor container runtime sandbox