pwnforce
Follow
Stars
Implementation of a differential fuzzer for Ethereum Virtual Machines
Guidelines and training material to write secure smart contracts
Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software
Sample programs that illustrate how to use Control Flow Guard, VS2015's control flow integrity implementation
μSBS: Static Binary Sanitization of Bare-metal Embedded Devices
linear-time sumcheck protocol for multilinear polynomials and related addends
Collection of SDN security related resources
Nova: High-speed recursive arguments from folding schemes
Triton 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.
Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme
python tool to transpile a tf.keras model into a circom circuit
Collection of security reviews of ZK Protocols
A collection of all the project ideas involving zk, blockchains & what not
In-browser ECDSA aggregation using Nova over secp/secq
curation of all(most) immunefi bug bounty writeups I could find(till now)
RWKV is an RNN with transformer-level LLM performance. It can be directly trained like a GPT (parallelizable). So it's combining the best of RNN and transformer - great performance, fast inference,…
🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs
Collection of web3 resources for blockchain enthusiasts. Contains some major alpha on ZKP, Solidity & auditing.
zkEVM proof generator reference written in Javascript
ZKmaps uses ZK proofs to provide a proof of location without sharing the user's actual location
On-chain call option for ERC721 assets.
gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license