ytrezq

ytrezq's Stars

• ZeroBone/TonelliShanks

  Implementation of the Tonelli-Shanks algorithm for computing square roots modulo a prime number.

  Language:Python11

• Calodeon/dlp-proof

  Language:MATLAB1

• faulhornlabs/r1cs-solver

  R1CS soundness testing tool

  Language:Haskell51

• Team-project2021/index_calculus_GPU_OpenCL

  Implementation of index calculus by using OpenCL libraly

  Language:C++1

• marcomaroni-github/twitter-to-bluesky

  Import all tweets exported from X/Twitter to a Bluesky account.

  Language:TypeScript55640

• crosire/reshade

  A generic post-processing injector for games and video software.

  Language:C++4.2k556

• oisinresearch/latsieve

  Language:C++2

• hgarrereyn/Th3g3ntl3man-CTF-Writeups

  Th3g3ntl3man CTF Writeups

  Language:Python219

• pwang00/Cryptographic-Attacks

  Repository containing implementation of attacks on modern public key cryptosystems and symmetric key ciphers.

  Language:Sage12015

• SRI-CSL/yices2

  The Yices SMT Solver

  Language:SMT38049

• Jiangkm3/circ_blocks

  (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.

  Language:Rust1

• Veridise/Picus

  Automated verification of uniqueness property for ZKP circuits

  Language:Circom705

• Deadlyelder/Tools-for-Cryptanalysis

  A repository that aims to provide tools for cryptography and cryptanalysis

  Language:HTML20250

• kste/cryptosmt

  An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.

  Language:Python9036

• BARC-Purdue/SNARKProbe

  Language:Python5

• bkomuves/r1cs-solver

  R1CS soundness testing tool

  Language:Haskell1

• LDFranck/SHA-256

  Custom ASIC Design for SHA-256

  Language:Verilog5

• sujayadkesar/Linux-Privilege-Escalation

  All Linux privilege Escalation methods are listed under one MarkDown🦁 i.e Kernel Exploits to Cronjobs

  Language:C292

• acuarica/evm

  A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmatically extracting information from EVM bytecode.

  Language:Solidity719

• agam778/MS-365-Electron

  Unofficial Microsoft 365 Web Desktop Wrapper made with Electron

  Language:JavaScript27923

• franklynwang/EcneProject

  Ecne: An engine for verifying the soundness of R1CS constraints

  Language:Julia1097

• Gbury/archsat

  A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.

  Language:OCaml275

• freeswitch/spandsp

  SpanDSP is a low-level signal processing library that modulates and demodulates signals commonly used in telephony, such as the "noise" generated by a fax modem or DTMF touchpad.

  Language:C159127

• corkami/collisions

  Hash collisions and exploitations

  Language:Python3.1k191

• 0xPARC/zk-bug-tracker

  A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.

  62764

• naddison36/tx2uml

  Ethereum transaction visualizer. Generates UML sequence diagram for a transaction's contract calls.

  Language:TypeScript44738

• djtuBIG-MaliceX/opl3-synth-driver

  Forked from Alexey Khohkolov's (khokh2001) OPL3 synth. This intends to improve onto the base driver to include extended MIDI support and other improvements to the playback component.

  Language:C++6

• allada/eth-archive-snapshot

  Free public Ethereum Archive Snapshot

  Language:Shell6210

• open-watcom/open-watcom-v2

  Open Watcom V2.0 - Source code repository, Wiki, Latest Binary build, Archived builds including all installers for download.

  Language:C1k162

• NVlabs/CGBN

  CGBN: CUDA Accelerated Multiple Precision Arithmetic (Big Num) using Cooperative Groups

  Language:Cuda20657