Search results

Soundness Issue (3) in Ligero/humidor: Sending an Empty Proof Causes The Verifier to Accept Trivially.

Status: Open.

#41 In GaloisInc/swanky;

· rot256 opened on Mar 3, 2026

Soundness Issue (2) in Ligero/humidor: qshared even without "Shared Witness"

Status: Open.

#40 In GaloisInc/swanky;

· rot256 opened on Mar 3, 2026

Soundness Issue (1) in Ligero/humidor: Not Committing to uadd etc.

Status: Open.

#39 In GaloisInc/swanky;

· rot256 opened on Mar 3, 2026

Running Vole over the network

Status: Open.

#37 In GaloisInc/swanky;

· ghost opened on May 28, 2025

KOS OT uses potentially insecure consistency check

Status: Open.

#33 In GaloisInc/swanky;

· robinhundt opened on May 8, 2025

sigma function implemented incorrectly

Status: Open.

#26 In GaloisInc/swanky;

· themighty1 opened on Aug 25, 2023

is using a TCCR hash with random OT KOS safe?

Status: Open.

#25 In GaloisInc/swanky;

· themighty1 opened on Aug 2, 2023

Can I use fancy garbling for three party computation?

Status: Open.

#21 In GaloisInc/swanky;

· shuangyichen opened on Sep 11, 2022

fancy-garbling test failures

Status: Open.

#20 In GaloisInc/swanky;

· YANCC139 opened on Jun 13, 2022

The correctness of the garbler result

Status: Open.

#19 In GaloisInc/swanky;

· marvellous987 opened on May 11, 2022

Questions about ocelot choices

Status: Open.

#16 In GaloisInc/swanky;

· dnat112 opened on Mar 16, 2022

Tests do not pass with alternative AES circuits.

Status: Open.

#14 In GaloisInc/swanky;

· themighty1 opened on Jan 26, 2022