Giter Club home page Giter Club logo

Comments (7)

govereau avatar govereau commented on August 22, 2024

Interesting. What does readelf -l show?

from nexus-zkvm.

slumber avatar slumber commented on August 22, 2024

Interesting. What does readelf -l show?

It's reproducible with cargo nexus prove

from nexus-zkvm.

govereau avatar govereau commented on August 22, 2024

Works for me. I am using tools-dev at commit 34ec8f3,

For reference, my ELF file looks like:

Program Headers:
  Type           Offset   VirtAddr   PhysAddr   FileSiz MemSiz  Flg Align
  LOAD           0x001000 0x00001000 0x00001000 0x000ec 0x000ec R E 0x1000
  LOAD           0x002000 0x10000000 0x10000000 0x00014 0x00014 R   0x1000
  GNU_STACK      0x000000 0x00000000 0x00000000 0x00000 0x00000 RW  0
  RISCV_ATTRIBUT 0x00202c 0x00000000 0x00000000 0x0001c 0x0001c R   0x1

Note, when I switch to tools (not dev), it doesn't work but for a different reason (compile error).

from nexus-zkvm.

govereau avatar govereau commented on August 22, 2024

If you send me your ELF file I can test it more directly.

from nexus-zkvm.

danielmarinq avatar danielmarinq commented on August 22, 2024

Here is the output of readelf -l:

Elf file type is EXEC (Executable file)
Entry point 0x1000
There are 4 program headers, starting at offset 52

Program Headers:
  Type           Offset   VirtAddr   PhysAddr   FileSiz MemSiz  Flg Align
  LOAD           0x001000 0x00001000 0x00001000 0x0149c 0x0149c R E 0x1000
  LOAD           0x003000 0x10000000 0x10000000 0x00218 0x00218 R   0x1000
  GNU_STACK      0x000000 0x00000000 0x00000000 0x00000 0x00000 RW  0
  RISCV_ATTRIBUT 0x003470 0x00000000 0x00000000 0x0001c 0x0001c R   0x1

 Section to Segment mapping:
  Segment Sections...
   00     .text 
   01     .data 
   02     
   03     .riscv.attributes

Do you need me to send you the ELF as well? It seems like GH doesn't allow to upload executable files to comment threads.

from nexus-zkvm.

govereau avatar govereau commented on August 22, 2024

No that is good. I found the issue.

from nexus-zkvm.

danielmarinq avatar danielmarinq commented on August 22, 2024

Ok great

from nexus-zkvm.

Related Issues (20)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.