LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Other

loquela

Yet Another RISCV zkvm on top of plonky3

OtherEmerging

Stars

—

Forks

—

Contributors

1

Last push

1mo ago

Recent commits

Latest commits.

Merge pull request #19 from gio54321/fix/decode-pc
9f6e24dGiorgio Dell'Immagine1mo ago
fix: pin witnessed initial pc/timestamp to zero in Boundaries AIR
f172dfcGiorgio Dell'Immagine1mo ago
fix: skip x0 memory write for JAL and gate AIR's memory send
8bfdf96Giorgio Dell'Immagine1mo ago
chore: drop verbose verify error printing from prove_and_verify
33b71a4Giorgio Dell'Immagine1mo ago
fix: sign-extend within-byte for SRA/SRAI via byte_srl(0xFF, bit_shamt)
3e161bfGiorgio Dell'Immagine1mo ago

fix: balance bytes/decode/decode_j buses for AUIPC, JALR, and JAL

ab6282bGiorgio Dell'Immagine1mo ago

fix: gate single-byte range-checks on is_dummy and split single-byte multiplicities

b923b07Giorgio Dell'Immagine1mo ago

fix: derive memory equality flags for all rows and gate sortedness sends on real transitions

28632a5Giorgio Dell'Immagine1mo ago

Top contributors

Builders behind this project.