madars Goto Github PK
Name: Madars Virza
Type: User
Company: @mit
Bio: Research Scientist @mitmedialab . Co-authored @scipr-lab's libsnark, the C++ library for efficient zero-knowledge proofs.
Location: Cambridge, MA
Blog: https://madars.org/
Name: Madars Virza
Type: User
Company: @mit
Bio: Research Scientist @mitmedialab . Co-authored @scipr-lab's libsnark, the C++ library for efficient zero-knowledge proofs.
Location: Cambridge, MA
Blog: https://madars.org/
SAT instance generator for investigating the sensitivity vs block sensitivity problem
👾 Interactive coding challenges to test and apply your knowledge
An advanced SAT Solver
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
Fast Ethereum Virtual Machine implementation
Interactively authenticate to GlobalProtect VPNs that require SAML
C++ library for Finite Fields and Elliptic Curves
C++ library for Fast Fourier Transforms in finite fields
C++ library for zkSNARKs
Subset of the supercop (http://bench.cr.yp.to/supercop.html) sources used in the libsnark ADSNARK demonstrating example.
A transaction processor for a hypothetical, general-purpose, central bank digital currency
my experiments from plonkathon.com
Rolis: a software approach to efficiently replicating multi-core transactions; eurosys2022
Quick and dirty script to liberate Sage worksheets from Sagemath Cloud
Investigation of biases in Spritz, a drop-in replacement for RC4
An auditable implementation of Shamir's secret sharing scheme in Sage
Tiny Multi-Index
This implements a Verifable database within Python's Django
a JIT assembler for x86(IA-32)/x64(AMD64, x86-64) MMX/SSE/SSE2/SSE3/SSSE3/SSE4/FPU/AVX/AVX2 by C++ header
SIPB OpenGrok installation configuration files
Command-line program to download videos from YouTube.com and other video sites
The Z3 Theorem Prover
Running a minimal Zcash container inside Google's gVisor container runtime sandbox
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.