Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
31 commits
Select commit Hold shift + click to select a range
823c0c8
spec: recursive verification explanation, pt1
erik-3milabs Aug 14, 2026
c37f525
spec/recursion: put text and figure side-by-side
erik-3milabs Aug 14, 2026
8580778
spec/recursion: overhaul
erik-3milabs Aug 21, 2026
531c273
spec/recursion: clean up
erik-3milabs Aug 21, 2026
e0e433f
spec/recursion: more cleanup
erik-3milabs Aug 21, 2026
0ca9aa8
Apply suggestions from code review
erik-3milabs Aug 26, 2026
95f88bc
spec/recursion: address code review comments
erik-3milabs Aug 26, 2026
8bf37a2
Apply suggestions from code review
erik-3milabs Aug 28, 2026
b4df2e8
spec/recursion: address review comments
erik-3milabs Aug 28, 2026
052691e
address comments Cyprien
erik-3milabs Sep 2, 2026
1a995ac
complete combination
erik-3milabs Sep 15, 2026
f2bbc11
trim excess
erik-3milabs Sep 15, 2026
97f6bb8
refactor
erik-3milabs Sep 18, 2026
6d9ecce
Apply batched suggestions from code review
erik-3milabs Sep 22, 2026
a8c9096
spec/recursion: drop book.typ
erik-3milabs Sep 22, 2026
90c3c23
spec/recursion: replace || by `product`
erik-3milabs Sep 22, 2026
f740efe
Apply batched suggestions from code review
erik-3milabs Sep 25, 2026
225c629
replace v's by `verify`
erik-3milabs Sep 25, 2026
f9f8b93
update
erik-3milabs Sep 25, 2026
6390dd0
Apply batched suggestions from code review
erik-3milabs Sep 29, 2026
72ee188
define d_v*
erik-3milabs Sep 29, 2026
ffc9f19
Apply batched suggestions from code review
erik-3milabs Sep 30, 2026
b054921
merge d_v into split
erik-3milabs Sep 30, 2026
0c28cd1
fix Delta_commitmentSpace
erik-3milabs Sep 30, 2026
edd1775
turn soundness remark into note
erik-3milabs Sep 30, 2026
5200520
fix binaryVM ref
erik-3milabs Sep 30, 2026
25bb8d1
Apply batched suggestions from code review
erik-3milabs Oct 1, 2026
3b4b60a
minor fixes
erik-3milabs Oct 1, 2026
41b76da
Apply batched suggestions from code review
erik-3milabs Oct 2, 2026
7e13d76
resolve b-clash
erik-3milabs Oct 2, 2026
6377fd5
fix soundness issue
erik-3milabs Oct 2, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions spec/chapters/field.typ
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
TODO
2 changes: 2 additions & 0 deletions spec/chapters/field_decode.typ
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@

TODO
Loading
Loading