hackphobic Goto Github PK

abrasyntax

algorust

Algorand client implementation with rust

antenna

anxiety

SE framework

arithmetic-circuits

Arithmetic circuits for zero knowledge proof systems

awesome-ethereum-security

A curated list of awesome Ethereum security references

awesome-rust-formalized-reasoning

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

awesome-symbolic-execution

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

bee

A framework for IOTA nodes, clients and applications in Rust

bee-p

Bee prototype.

bee-rfcs

RFCs to changes to Bee

bulletproofs

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

centauri

A trustless, cross-chain bridging protocol.

classification

Classification of smart contract vulnerabilities

clockwork-examples

Automated smart-contracts built with the Clockwork SDK

cryptography

elliptic-curve

A polymorphic interface for elliptic curve operations

ethereum-developer-tools-list

A guide to available tools and platforms for developing on Ethereum.

fai

A stablecoin impletion in Move

flash-loan-mastery

Simple and best Solana flash loan program :)

fly

for internal

frabric

Smart Contracts that define Frabric, used by WeavrDAO

galois-fft

Finite field polynomial arithmetic based on fast Fourier transforms

galois-field

Finite field and algebraic extension field arithmetic

godsays

Rust port of the Terry Davis' (RIP) "god says" program

goq

QUbic Programming Language Qupla in Go

goshimmer

GoShimmer implementation of Coordicide

haskell-backend

The symbolic execution engine powering the K Framework

haskell-fri-proofs

WIP: FRI-based ZKPs in Haskell

helios

A fast, secure, and portable light client for Ethereum