Webassembly directly I don’t think so.
However there are RISC Zero, SP1 or Jolt that enable to prove risc-v instructions (and so any language that can compile to risc v target, i.e directly)
Abdel / A₿del ∞/21M 🐺 - 🐱
npub1hr…w2e29
2024-08-02 02:50:02
in reply to nevent1q…znyg
Author Public Key
npub1hr6v96g0phtxwys4x0tm3khawuuykz6s28uzwtj5j0zc7lunu99snw2e29Published at
2024-08-02 02:50:02Event JSON
{
"id": "b77e256c9908d14753cde83bfa92e411e20d9f6fb4992c19d4482b74f1f369d6",
"pubkey": "b8f4c2e90f0dd667121533d7b8dafd77384b0b5051f8272e5493c58f7f93e14b",
"created_at": 1722567002,
"kind": 1,
"tags": [
[
"e",
"7770acc68155c78f974ee8c95abb2f2b977875b18a538eaf8957e797329ddf80",
"",
"root"
],
[
"e",
"ec9a461922efb74ced860341f2fe852820b962e4a0c2b580e8f0cb8490e84894",
"wss://relay.nostr.bg",
"reply"
],
[
"p",
"8e567e90f3214bb221a726c53c0b901dd23bdc4281e4dfe425014e33f1dd217b"
]
],
"content": "Webassembly directly I don’t think so.\nHowever there are RISC Zero, SP1 or Jolt that enable to prove risc-v instructions (and so any language that can compile to risc v target, i.e directly)",
"sig": "0021174bc009bbf7b7309509aacc1e93e7d0ba67ed7ea70920971d5dc11256fd6e46cd0899b38a16852da7bb4f4d84e28914e86df53196721c361210379456c2"
}