# Honk!

**URL:** https://forum.aztec.network/c/honk/8.md

[Latest](https://forum.aztec.network/latest.md) · [Categories](https://forum.aztec.network/categories.md) · [Tags](https://forum.aztec.network/tags.md)

---

## [About the Honk! category](https://forum.aztec.network/t/about-the-honk-category/41)

<div class="topic-metadata">

**Author:** [@joshc](https://forum.aztec.network/u/joshc)\
**Replies:** 0\
**Last updated:** [December 15, 2022, 6:05pm UTC](https://forum.aztec.network/t/about-the-honk-category/41 "2022-12-15T18:05:02Z")

</div>

Use this category to discuss topics related to Honk!

---

## [Linear shift of the hypercube and sumcheck](https://forum.aztec.network/t/linear-shift-of-the-hypercube-and-sumcheck/6253)

<div class="topic-metadata">

**Author:** [@nicky](https://forum.aztec.network/u/nicky)\
**Replies:** 2\
**Last updated:** [November 18, 2024, 9:18pm UTC](https://forum.aztec.network/t/linear-shift-of-the-hypercube-and-sumcheck/6253 "2024-11-18T21:18:12Z")

</div>

Hi, Is there a simple explanation and/or example to what Zac means by “shifting the boolean hypercube & sumcheck” in the ZK Summit 12, in the video link below? This is part of an upcoming paper about Honk!, as mentione…

---

## [Memory consumption in folded Honk](https://forum.aztec.network/t/memory-consumption-in-folded-honk/708)

<div class="topic-metadata">

**Author:** [@zac-williamson](https://forum.aztec.network/u/zac-williamson)\
**Replies:** 4\
**Last updated:** [March 2, 2024, 2:10pm UTC](https://forum.aztec.network/t/memory-consumption-in-folded-honk/708 "2024-03-02T14:10:59Z")

</div>

High level: protstar/galaxy with Honk will increase Prover RAM consumption by over 2x vs non-folded Honk. What to do? Overview: Protostar/galaxy allows us to fold a Honk instance into an “accumulator” instance. The acc…

---

## [\[Future Project\] Replace permutation+plookup with log-derivative technique](https://forum.aztec.network/t/future-project-replace-permutation-plookup-with-log-derivative-technique/709)

<div class="topic-metadata">

**Author:** [@zac-williamson](https://forum.aztec.network/u/zac-williamson)\
**Replies:** 1\
**Last updated:** [September 30, 2023, 12:06am UTC](https://forum.aztec.network/t/future-project-replace-permutation-plookup-with-log-derivative-technique/709 "2023-09-30T00:06:02Z")

</div>

Overview of this topic: log-derivative lookups have better properties than plookup if we make both permutation + lookup relations use log derivatives, we can replace our 2 “grand product” polynomials with a single inve…

---

## [\[Future Project\] Combining multiple polynomials into a single commitment](https://forum.aztec.network/t/future-project-combining-multiple-polynomials-into-a-single-commitment/707)

<div class="topic-metadata">

**Author:** [@zac-williamson](https://forum.aztec.network/u/zac-williamson)\
**Replies:** 1\
**Last updated:** [August 3, 2023, 7:35pm UTC](https://forum.aztec.network/t/future-project-combining-multiple-polynomials-into-a-single-commitment/707 "2023-08-03T19:35:17Z")

</div>

I’ve been doing some napkin math and it looks like, in order to fold a Honk proof, we will need to do about 30 scalar multiplications.This rises to over 40 if we want to combine the permutation and plookup polynomials in…