Daira Hopwood
2846593937
[book] Document CommitIvk message decomposition & canonicity checks
2021-07-26 02:05:35 +01:00
Daira Hopwood
9708e296c8
[book] Document Merkle chip layout and message decomposition.
2021-07-26 02:05:35 +01:00
therealyingtong
2dd23f47b8
[book] Update constraints for short signed fixed-base mul.
...
Previously, we witnessed the magnitude of a short signed scalar
directly as three-bit windows. Now, we decompose and range-constrain
it using a running sum.
2021-07-12 11:58:32 +08:00
therealyingtong
32f9622c23
[book] Document lookup range check and its use in overflow check.
2021-07-03 19:30:27 +08:00
str4d
d5f3256785
Merge branch 'main' into book-ecc-gadget
2021-07-01 13:47:30 +01:00
therealyingtong
ab96225f0f
ecc::addition.md: Update complete addition constraints.
...
Add constraint analysis and proofs of completeness and soundness.
2021-06-09 18:23:02 +08:00
therealyingtong
1a08d6e078
[book] Add Sinsemilla gadget description
2021-05-21 21:13:45 +08:00
therealyingtong
96d60b3f13
Move addition sections into ecc.rs
2021-04-17 12:53:10 +08:00
therealyingtong
c074990bb9
[book] Document ECC gadget in circuit
2021-03-29 14:01:05 +08:00
Jack Grigg
adb377de7d
book: Document design rationale for Orchard keys and addresses
2021-02-08 18:31:36 +00:00
Jack Grigg
0fcacf9af0
book: Start adding Orchard design notes
...
Some of this content may move into the concepts section, or possibly into
a dedicated specification area, but for now the design section includes
our choices alongside the reasoning.
2021-01-08 17:10:12 +00:00
Jack Grigg
10bae831eb
Rename to Orchard
2021-01-08 16:51:10 +00:00
Jack Grigg
8e6d2a7023
Add initial book skeleton
2020-10-27 21:23:20 +00:00
Jack Grigg
b975600b35
Initialise empty mdBook
2020-10-20 23:02:49 +01:00