Skip to content

Activity

Showing most recent first

Update README

Force push
contrunforce pushed to main • 9fa8edd…1f03b74 • 
on Apr 4, 2024

Update README

contrunpushed 2 commits to main • 78a6476…9fa8edd • 
on Apr 4, 2024

Successfully verify proof

contrunpushed 12 commits to main • 92f87f0…78a6476 • 
on Apr 4, 2024

Successfully verify proof

Force push
contrunforce pushed to no-std • 660af52…78a6476 • 
on Apr 4, 2024

Successfully verify proof

contrunpushed 1 commit to no-std • 8867956…660af52 • 
on Apr 4, 2024

Stash

contrunpushed 2 commits to no-std • 007b0cb…8867956 • 
on Apr 4, 2024

successfully build riscv binary

contrunpushed 5 commits to no-std • fd468dd…007b0cb • 
on Apr 4, 2024

Add overflowing_add col for ADDI

yz89pushed 1 commit to main • 6006730…92f87f0 • 
on Apr 4, 2024

Try to remove std

contrunpushed 2 commits to no-std • a850f3c…fd468dd • 
on Apr 4, 2024

Remove std dependecies for runtime

contruncreated no-std • a850f3c • 
on Apr 4, 2024

Fix constraint error

yz89pushed 1 commit to main • 69cc2d7…6006730 • 
on Apr 3, 2024

debug

luckyyangpushed 1 commit to main • f480675…69cc2d7 • 
on Apr 3, 2024

comment out unimplement constraint

luckyyangpushed 1 commit to main • e4513b0…f480675 • 
on Apr 3, 2024

Successfully generate proof from trace.json

contrunpushed 1 commit to main • 9584f18…e4513b0 • 
on Apr 3, 2024

update README

yz89pushed 1 commit to main • 8e598d6…9584f18 • 
on Apr 3, 2024

Build entries by real trace

yz89pushed 1 commit to main • f362a82…8e598d6 • 
on Apr 3, 2024

update constraint and assign method for other type

luckyyangpushed 1 commit to main • 8780645…f362a82 • 
on Apr 3, 2024

update configure and assign method for utype

luckyyangpushed 1 commit to main • 279ca81…8780645 • 
on Apr 3, 2024

Add MemoryTable

yz89pushed 1 commit to main • e353a4d…279ca81 • 
on Apr 3, 2024

Update trace dumper

contrunpushed 1 commit to main • c7d5b3f…e353a4d • 
on Apr 3, 2024

update assign method for itype instruction

luckyyangpushed 1 commit to main • 3c039cc…c7d5b3f • 
on Apr 3, 2024

add constraint for BEQ

luckyyangpushed 5 commits to main • d2c7c39…3c039cc • 
on Apr 3, 2024

Add jtype, stype, utype gadget placeholder

yz89pushed 1 commit to main • ca749b0…d2c7c39 • 
on Apr 3, 2024

generate proof successfully

luckyyangpushed 2 commits to main • 3e03c68…ca749b0 • 
on Apr 3, 2024

wrap RegisterOps

contrunpushed 1 commit to main • 03da431…3e03c68 • 
on Apr 3, 2024

Use OpStep info for ExecutionTable

yz89pushed 1 commit to main • 694c287…03da431 • 
on Apr 3, 2024

Fix address not correctly calculated in stype

Force push
contrunforce pushed to main • 94d7655…694c287 • 
on Apr 3, 2024

Fix address not correctly calculated in stype

contrunpushed 1 commit to main • 10b2281…94d7655 • 
on Apr 3, 2024

fix add instruction

luckyyangpushed 1 commit to main • 22c48ce…10b2281 • 
on Apr 3, 2024

pass also registerop and memoryop to op_step

contrunpushed 1 commit to main • ef379e7…22c48ce • 
on Apr 3, 2024