Skip to content

Maddiaa0/honk-verifier

Folders and files

NameName
Last commit message
Last commit date

Latest commit

93cb87b · Oct 14, 2024

History

12 Commits
Apr 1, 2024
Sep 15, 2024
Apr 1, 2024
Apr 1, 2024
Apr 1, 2024
Oct 14, 2024
Apr 1, 2024
Oct 12, 2024
Apr 1, 2024
Oct 12, 2024
Apr 16, 2024
Apr 1, 2024
Apr 1, 2024

Repository files navigation

EVM Honk Verifier

An EVM verifier for the HONK (sumcheck + shplemini) proving system.

This repo consists of:

  • A differential fuzzer against a cpp implementation (found in barretenberg)
  • A verifier for an ECDSA circuit

Upcoming

  • Optimized assembly implementation

Building

  1. C++ On ubuntu make sure you have a cpp toolchain installed -> (or most up to date, i just use whatever works with clang16)
sudo apt-get install cmake clang clang-format ninja-build libstdc++-12-dev 

We will be building with clang16 - so make sure you have that compiler :)

  1. Foundry See installation instructions here: https://book.getfoundry.sh/

Usage

Build

$ ./bootstrap.sh # This will download the SRS and build the C++
$ forge build # Build the contracts

Test

$ forge test --no-match-contract TestBaseHonk

About

Honk Verifier in Solidity

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published