Deep ghidra decompiler and sleigh disassembler integration for rizin

The LLVM-based D Compiler.

BullshitBench measures whether AI models challenge nonsensical prompts instead of confidently answering them, created by Peter Gostev.

Oko is an open-source embedded wallet stack that provides passwordless crypto experience via multi-party computation

A golang formatter that fixes long lines

L. L. Odette's Prolog Virtual Machine (PVM) implemented in Forth. Upgraded to 32 Bit ANSI Forth. Tested on ForthWin.

Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy

Zcash airdrop utilities

An experiment in durability

Prototype of bPk+

Relic-based wrapper for Rust providing BLS12-381

Code

Pure Rust implementation of the post-quantum secure digital signature scheme FAEST

A Go implementation of the quantum-resistant key encapsulation method ML-KEM (formerly known as Kyber).

Binary Proofs, Blazing Fast

🔑🔑🔑 next generation token approvals mechanism

The Nervos CKB is a public permissionless blockchain, and the layer 1 of Nervos network.

FAEST reference implementation

Initial Rust implementation of FAEST

An elliptic curve that embeds curve25519

Generator and supporting evidence for security of the Pluto/Eris half-pairing cycle of elliptic curves

Efficient Keccak proofs using GKR.

Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol

Reed-Solomon GF(2^16) erasure coding with O(n log n) complexity

Related code to the research paper "Fast elliptic curve scalar multiplications in SN(T)ARK circuits"

The papers and books I've read or am about to read.

The Vortex List Polynomial Commitment Scheme (Vortex LPCS) Rust implementation

Reef: A zkSNARK system for proving that a committed document matches a regex

Rust Linux-compatible kernel