Skip to content

docs: improve README with original project logo #25

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
Th0rgal merged 3 commits into from
Jul 27, 2026
Merged

docs: improve README with original project logo #25

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
2f60ca6
docs: add vector leanSilicon logo to README
Jul 26, 2026
78a845c
fix(docs): refresh logo asset checksum
Jul 26, 2026
b060fb4
docs: use original logo artwork in README
Jul 26, 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
18 changes: 13 additions & 5 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,11 +1,19 @@
# leanSilicon
<p align="center">
<img src="docs/assets/lean-silicon-logo.png" alt="Project logo" width="520">
Comment on lines +1 to +2

@chatgpt-codex-connector chatgpt-codex-connector Bot Jul 26, 2026

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P2 Badge Restore an accessible project heading

For screen-reader and text-only users, this replaces the only # leanSilicon heading with an image whose generic alt text says only “Project logo,” so the project name is absent from both the accessible content and the document heading outline. Keep a textual H1 (and ideally describe the wordmark in the alt text) rather than relying solely on the rasterized title.

Useful? React with 👍 / 👎.

</p>

**Project objective:** a formally verified physical scalar coprocessor for
leanVM-b. **Current status:** verification in progress; the current evidence
does not establish that objective.
<p align="center">
A physical scalar coprocessor for leanVM-b, designed around an explicit
hardware boundary and a verification-first implementation path.
</p>

> [!IMPORTANT]
> **Project objective:** a formally verified physical scalar coprocessor for
> leanVM-b. **Current status:** verification in progress; the current evidence
> does not establish that objective.

LSC-1 receives one host-prepared instruction transaction at a time over an
8-bit ready/valid interface. The Mac owns compilation, program storage, VM
8-bit ready/valid interface. The host owns compilation, program storage, VM
memory, hints/witnesses, pointer resolution, deferred equality, inversion
assistance, BLAKE3, traces, and proofs. The ASIC validates and executes the
non-BLAKE3 scalar transition, returning next pc/fp, writes, deferred events,
Expand Down
3 changes: 2 additions & 1 deletion SHA256SUMS
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ c5a00dfb7ec29979b10d186838f02a1efe2b42126cda0c65df658d6b4c7bc543 ./.gitignore
cfc7749b96f63bd31c3c42b5c471bf756814053e847c10f3eb003417bc523d30 ./LICENSE
ca1b6b510bfeb5dc906aa0862e95d962c2901c246fa10fa72296d1666239d601 ./MANIFEST.md
c4e56018f86fd8b6fd1cd2e2cb39370b0501e8f83a1d7aeceab163457f9d60e4 ./Makefile
76702919f6a68922f243e5b2e59403d31ea74d8d33775dbb6411507e55cda2eb ./README.md
17cfc69071dbdaddce8e5593b831815202522c311faefe54e485be062f3c1a2b ./README.md
de4c0f6adf6ff1356bf9d7599ab52aef93a00b50c5a77c727ec0ce036ff2d1a2 ./RESULTS.md
baa38ad5792511470f4cc9d2344d46f0c7af8a365d5b5e178dca88634b288bff ./VALIDATION.txt
56f3315873ddf849b851b0fb106e9eeec7160c33d15914c6157d7fe13065b6b5 ./VERSION
Expand Down Expand Up @@ -38,6 +38,7 @@ b81b89574ed84c67b64ae7b56001bf9d03b9d66be2bed7977d8adc715481eafb ./docs/PROTOCO
9c2582c40fbd9a4e2b163abed784f5a6c82b2cb3136c37a4123a0ba6584f6136 ./docs/TAPEOUT.md
a08743f1a3cf4af68683cdaac5b00ca624ac875dbeef9f78614bda7297579df8 ./docs/USE_CASES.md
20aa56b3f69c28c9639e9bd16b8239f0ef511d8fded9340185814b3257e25f01 ./docs/VALIDATION.md
b3527350d4e4067009b2c1426072ddb3dbf34196aa0325ed2c030e0177888ba4 ./docs/assets/lean-silicon-logo.png
c8dbcf0008931bfd0d6a27c00425480de54d322dd27367ae83f54f93e3382b8c ./docs/semantics/reference/README.md
3e896ee33e3804876f6e169c872746146c1b3d773811683616986a4148b9f785 ./docs/semantics/reference/oracle.py
c49a013eb503060394007d07395e625024d7c1ff0e9b177bc71e691e1a4efec8 ./docs/semantics/reference/vectors.json
Expand Down
Binary file added docs/assets/lean-silicon-logo.png
View file
Open in desktop
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading