Commits

Branch selector

 main

User selector

jbruestle

Datepicker

All time

Commit History

Commits on May 1, 2023

• Change to RISC-V circuit semantics in advance of recursion predicates

  Show description for 75a85a8
  jbruestle

  authored
  75a85a8

  Copy full SHA for 75a85a8

Commits on Apr 21, 2023

• Poseidon 254 (risc0#524)

  Show description for 6fb72df
  jbruestle

  authored
  6fb72df

  Copy full SHA for 6fb72df

Commits on Mar 20, 2023

• Fix kernel bug.

  jbruestle

  authored
  afd9a56

  Copy full SHA for afd9a56

• Add support for Cuda Poseidon hal. (risc0#454)

  jbruestle

  authored
  0953b45

  Copy full SHA for 0953b45

Commits on Mar 17, 2023

• Split core zkp kernels and rv32im kernel into seperate sys crates (risc0#449)

  Show description for 8efc329
  jbruestle

  authored
  8efc329

  Copy full SHA for 8efc329

Commits on Mar 12, 2023

• Revert "Add basic support, issue with hal held data"

  Show description for 6b6e7e0
  jbruestle

  committed
  6b6e7e0

  Copy full SHA for 6b6e7e0

• Add basic support, issue with hal held data

  jbruestle

  committed
  b2359ed

  Copy full SHA for b2359ed

Commits on Mar 10, 2023

• Have cuda hal fall back to CPU for Poseidon support. (risc0#432)

  Show description for 845ff76
  jbruestle

  authored
  845ff76

  Copy full SHA for 845ff76

Commits on Mar 8, 2023

• Fix a poseidon bug (risc0#427)

  jbruestle

  authored
  25cd443

  Copy full SHA for 25cd443

Commits on Mar 4, 2023

• Change RNG semantics to help Poseidon. (risc0#421)

  jbruestle

  authored
  e3e1863

  Copy full SHA for e3e1863

Commits on Feb 22, 2023

• Programmatically generate Poseidon constants (risc0#385)

  Show description for c4660d5
  

  jbruestle

  and

  flaub

  authored
  c4660d5

  Copy full SHA for c4660d5

Commits on Feb 13, 2023

• Add support for the Poseidon hash and its use by the CPU + Metal Hals for proving and verifying (risc0#379)

  jbruestle

  authored
  c25b450

  Copy full SHA for c25b450

Commits on Feb 9, 2023

• Update circuit to make it small enough that Metal works, slightly changing reset semantics (risc0#372)

  jbruestle

  authored
  e6e647e

  Copy full SHA for e6e647e

Commits on Feb 7, 2023

• Fix metal support (risc0#369)

  Show description for 941bd48
  jbruestle

  authored
  941bd48

  Copy full SHA for 941bd48

Commits on Feb 6, 2023

• [NFC] Refactor code in advance of adding support for alternate hashes (risc0#367)

  Show description for ab40dd0
  jbruestle

  authored
  ab40dd0

  Copy full SHA for ab40dd0

Commits on Jan 27, 2023

• Fix endinanness on cuda (risc0#353)

  jbruestle

  authored
  7995ca6

  Copy full SHA for 7995ca6

Commits on Dec 22, 2022

• Another modification to RNG generation to be both constant time, secure, and easy to implement as a circuit. (risc0#311)

  jbruestle

  authored
  5fa1e1f

  Copy full SHA for 5fa1e1f

Commits on Dec 15, 2022

• Change the RNG to not require a loop (risc0#305)

  jbruestle

  authored
  e2f67d0

  Copy full SHA for e2f67d0

Commits on Jun 3, 2022

• Improve README (risc0#149)

  Show description for 1e29150
  jbruestle

  authored
  1e29150

  Copy full SHA for 1e29150

Commits on May 20, 2022

• Fix a bug in the serializers, also add tests to verify it (risc0#118)

  Show description for cf515d3
  jbruestle

  authored
  cf515d3

  Copy full SHA for cf515d3

Commits on May 19, 2022

• Rust documentation (risc0#112)

  jbruestle

  authored
  112c8a4

  Copy full SHA for 112c8a4

Commits on Apr 19, 2022

• Make turn proofs return outputs (risc0#71)

  jbruestle

  authored
  40720bc

  Copy full SHA for 40720bc

Commits on Apr 16, 2022

• Add support for proving turns (risc0#63)

  jbruestle

  authored
  969adb3

  Copy full SHA for 969adb3

Commits on Apr 14, 2022

• Battleship demo work (risc0#58)

  Show description for f4a2891
  jbruestle

  authored
  f4a2891

  Copy full SHA for f4a2891

Commits on Apr 13, 2022

• Make receipt serializable, build binary to run a proof (risc0#54)

  Show description for 04d2786
  jbruestle

  authored
  04d2786

  Copy full SHA for 04d2786

Commits on Apr 11, 2022

• Changes to protocol to make rust verifier easier. (risc0#48)

  Show description for 2565056
  jbruestle

  authored
  2565056

  Copy full SHA for 2565056

Commits on Apr 3, 2022

• Changes to VM executer to prep for debugging support (risc0#41)

  Show description for c0fe02e
  jbruestle

  authored
  c0fe02e

  Copy full SHA for c0fe02e

• Modify macro system to allow making table based polynomial verification. (risc0#39)

  Show description for f1dccfa
  jbruestle

  authored
  f1dccfa

  Copy full SHA for f1dccfa

Commits on Apr 1, 2022

• Update main README and add some additional READMEs to some examples (risc0#36)

  Show description for 609ddd1
  

  3 peopleauthored
  609ddd1

  Copy full SHA for 609ddd1

Commits on Mar 30, 2022

• Added extra constraints to disallow out of bounds memory reads/write (risc0#32).

  Show description for 6d2c290
  jbruestle

  authored
  6d2c290

  Copy full SHA for 6d2c290

Commits on Mar 29, 2022

• Fixed memory check to be accurate so we could uncomment it. The proof system should prevent such writes, but it's good to check early (risc0#28)

  jbruestle

  authored
  26b87f6

  Copy full SHA for 26b87f6

Commits on Mar 25, 2022

• NFC: extract RISC-V specific code from core ZKP system (risc0#26)

  Show description for b36bd1f
  jbruestle

  authored
  b36bd1f

  Copy full SHA for b36bd1f

Commits on Mar 24, 2022

• Fix remaining links between ZKP and RISC-V, ready to move files (risc0#24)

  jbruestle

  authored
  b1a4b0e

  Copy full SHA for b1a4b0e

• Further progress unlinking proof system for RISC-V circuit (risc0#23)

  Show description for 64cf62f
  jbruestle

  authored
  64cf62f

  Copy full SHA for 64cf62f

Commits on Mar 16, 2022

• Make an abstraction for 'taps', replacing macro mechanism with ordinary code (risc0#18)

  Show description for 2d2c6b6
  jbruestle

  authored
  2d2c6b6

  Copy full SHA for 2d2c6b6

Pagination

Previous

Next