414 skills found · Page 1 of 14
inference-labs-inc / N Ary NotebooksNotebooks covering mathematical analysis of ZKP building blocks, algorithm implementations of various proof systems, and protocol optimization techniques.
kkrt-labs / KakarotKakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
tromp / Cuckooa memory-bound graph-theoretic proof-of-work system
0xProject / OpenZKPOpenZKP - pure Rust implementations of Zero-Knowledge Proof systems.
bytewreck / DumpGuardProof-of-Concept tool for extracting NTLMv1 hashes from sessions on modern Windows systems.
djdembeck / Audnexus.bundleAn Audnexus client proof of concept for Plex, providing rich author and audiobook data. Developed in Python, offering enhanced user experiences via Plex's legacy plugin agent system.
Consensys / Gnark Cryptognark-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
raphaelsc / Am I Affected By MeltdownMeltdown Exploit / Proof-of-concept / checks whether system is affected by Variant 3: rogue data cache load (CVE-2017-5754), a.k.a MELTDOWN.
mratsim / ConstantineConstantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.
zkVerify / ZkVerifyzkVerify is a highly performant, secure, and decentralized Substrate-based blockchain for zero-knowledge (ZK) proof verification, that substantially lowers the costs of verification and extends the range of possibilities within Web3 to use different cryptographic primitives and systems.
o1-labs / Proof SystemsThe proof systems used by Mina
progmem / Switch FightstickProof-of-Concept LUFA Project for the Nintendo Switch. Uses reverse-engineering of the Pokken Tournament Pro Pad for the Wii U and Switch System v3.0.0
zach-klippenstein / Compose Fractal NavA proof-of-concept of a fractal/recursive navigation system.
NilFoundation / ZkLLVMZero-Knowledge Proof Systems Circuit Compiler
cyanly / GotradeA proof of concept of an electronic trading system written in Golang
TritonVM / Triton VmTriton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.
scipr-lab / DizkJava library for distributed zero knowledge proof systems
sdleffler / Tarpit RsA type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.
fluidex / Awesome PlonkA curated list of awesome things related to plonk proof system
yeokm1 / DoschgptA proof-of-concept ChatGPT, Hugging Face and Ollama client for DOS with text-to-speech for Sound Blaster compatible systems.
