CLI tool for Smart Contract error tracking, monitoring and alerting.

Multi-agent framework for design, simulation, and auditing.

Spartan: High-speed zkSNARKs without trusted setup

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

STARK-based virtual machine

Cryptographic accumulators in Rust.

Cryptographic Accumulators in Rust

A Go library for MerkleSquare: A Low-Latency Transparency Log System

Practical Experiments on how to add complete privacy to flashbots

A fast zkSnark proof generator written in native Web Assembly.

zkSNARK implementation in JavaScript & WASM

A Java library for zk-SNARK circuits

Library of basic circuits for circom

Lecture materials for Cornell CS5785 Applied Machine Learning (Fall 2024)

An api for constructing sparse Merkle tree accumulators with random sampling capabilities.

Ethereum Proof-of-Stake Consensus Specifications

Designing Secure Cryptography

Classifying implicit relation between two consecutive sentences using LSTM, CNN