Commits

Branch selector

 master

User selector

hero78119

Datepicker

All time

Commit History

Commits on Jan 2, 2025

• refactor to replace v1 by v2 and cleanup suffix (#791)

  Show description for 0c39f7f
  hero78119

  authored
  0c39f7f

  Copy full SHA for 0c39f7f

Commits on Dec 20, 2024

• benchmark fix: use iter_custom to measure routine time exactly (#776)

  Show description for 9231955
  hero78119

  authored
  9231955

  Copy full SHA for 9231955

Commits on Dec 4, 2024

• add fibonacchi bench (#690)

  Show description for b5bbc84
  hero78119

  authored
  b5bbc84

  Copy full SHA for b5bbc84

• cleanup verbose log (#669)

  Show description for 4a1af6c
  hero78119

  authored
  4a1af6c

  Copy full SHA for 4a1af6c

Commits on Nov 29, 2024

• fix tower sumcheck default logic with minimal table size 2 (#646)

  Show description for 7cfa693
  

  3 peopleauthored
  7cfa693

  Copy full SHA for 7cfa693

Commits on Nov 27, 2024

• chores: simplify to max_usable_threads (#640)

  hero78119

  authored
  846033a

  Copy full SHA for 846033a

Commits on Nov 2, 2024

• SRA opcode impl and shift logic circuit optimisation (#505)

  Show description for c86293d
  hero78119

  authored
  c86293d

  Copy full SHA for c86293d

Commits on Oct 31, 2024

• implement (non-)volatile table modular circuits and e2e public io (#457)

  Show description for 6541209
  

  hero78119

  and

  Aurélien Nicolas

  authored
  6541209

  Copy full SHA for 6541209

Commits on Oct 28, 2024

• Simplify thread pool configuration (#464)

  Show description for 1b8d622
  

  hero78119

  and

  matthiasgoergens

  authored
  1b8d622

  Copy full SHA for 1b8d622

Commits on Oct 18, 2024

• complete e2e sound in integration test (#251)

  Show description for e974560
  hero78119

  authored
  e974560

  Copy full SHA for e974560

• Fix unnecessary extension field conversion (#409)

  Show description for a255ecd
  

  hero78119

  and

  matthiasgoergens

  authored
  a255ecd

  Copy full SHA for a255ecd

Commits on Oct 17, 2024

• optional main sumcheck in create_table_proof (#342)

  hero78119

  authored
  f5cb713

  Copy full SHA for f5cb713

Commits on Oct 14, 2024

• [low priority] cleanup lt gadget ambiguous boolean flags (#349)

  Show description for 1fd13a9
  hero78119

  authored
  1fd13a9

  Copy full SHA for 1fd13a9

Commits on Oct 11, 2024

• fix soundness: include public input to transcript (#355)

  Show description for 8e2214d
  hero78119

  authored
  8e2214d

  Copy full SHA for 8e2214d

Commits on Oct 10, 2024

• mockprover error hint (#270)

  Show description for 06590d1
  

  hero78119

  and

  matthiasgoergens

  authored
  06590d1

  Copy full SHA for 06590d1

Commits on Oct 9, 2024

• chores: retrieve end cycle & halt code cosmetics (#340)

  Show description for 22fe9b1
  hero78119

  authored
  22fe9b1

  Copy full SHA for 22fe9b1

Commits on Oct 7, 2024

• MULHU impl (#306)

  Show description for 25118bd
  hero78119

  authored
  25118bd

  Copy full SHA for 25118bd

Commits on Oct 4, 2024

• unittest assertion on register value (#301)

  Show description for a08adac
  hero78119

  authored
  a08adac

  Copy full SHA for a08adac

Commits on Oct 3, 2024

• Refactor on mul/mul_add gadget (#296)

  Show description for 25c9f2e
  hero78119

  authored
  25c9f2e

  Copy full SHA for 25c9f2e

Commits on Sep 30, 2024

• support one instance in create_opcode_proof (#290)

  Show description for f821585
  hero78119

  authored
  f821585

  Copy full SHA for f821585

Commits on Sep 26, 2024

• refactor lt config to gadget and blt (#280)

  hero78119

  authored
  5f4713d

  Copy full SHA for 5f4713d

Commits on Sep 25, 2024

• improve debugging: add sanity check to opcode prover (#279)

  hero78119

  authored
  ccc8c91

  Copy full SHA for ccc8c91

Commits on Sep 23, 2024

• support specific i type imm (#267)

  Show description for b871d91
  

  hero78119

  and

  Aurélien Nicolas

  authored
  b871d91

  Copy full SHA for b871d91

• Chore: refine RegisterExpr to type (#259)

  hero78119

  authored
  d03fd2c

  Copy full SHA for d03fd2c

Commits on Sep 19, 2024

• sumcheck protocol support mixed num_vars monomial form (#235)

  Show description for 43af034
  hero78119

  authored
  43af034

  Copy full SHA for 43af034

Commits on Sep 18, 2024

• improve unittest iterating speed for local development (#242)

  Show description for 394fc13
  hero78119

  authored
  394fc13

  Copy full SHA for 394fc13

Commits on Sep 14, 2024

• opcode: add/sub trace integration and ci pipeline (#209)

  Show description for 71b1aa2
  hero78119

  authored
  71b1aa2

  Copy full SHA for 71b1aa2

Commits on Sep 13, 2024

• Use global lookup table v2 (#206)

  Show description for 094a17e
  

  hero78119

  and

  chaosma

  authored
  094a17e

  Copy full SHA for 094a17e

Commits on Sep 10, 2024

• batch assignment per thread (#203)

  Show description for e524c47
  hero78119

  authored
  e524c47

  Copy full SHA for e524c47

• logup multiplicity in witness assignment (#198)

  Show description for 59b8743
  hero78119

  authored
  59b8743

  Copy full SHA for 59b8743

Commits on Sep 6, 2024

• allow wrapping_add/sub and fix under-constraints (#181)

  Show description for d770e9f
  

  hero78119

  and

  kunxian-xia

  authored
  d770e9f

  Copy full SHA for d770e9f

• ci skip riscv32im target (#195)

  hero78119

  authored
  a5d15cb

  Copy full SHA for a5d15cb

Commits on Sep 4, 2024

• standardize blt instruction assignment (#187)

  hero78119

  authored
  4500e95

  Copy full SHA for 4500e95

• standardize witness assignment (#185)

  Show description for 38ca251
  

  hero78119

  and

  kunxian-xia

  authored
  38ca251

  Copy full SHA for 38ca251

Commits on Sep 2, 2024

• fix main-sel sumcheck degree and wrong dedup issue (#172)

  hero78119

  authored
  ba3ac9a

  Copy full SHA for ba3ac9a

Pagination

Previous

Next