home.social
Sign in Create account

#e_id — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #e_id, aggregated by home.social.

  1. Linus Gasser @[email protected] ·

    #e_id #ZKP

    This just blew my head: we're looking at the latest and greatest ZKP frameworks before digging more into noir, and I saw this:

    doc.rust-lang.org/rustc/platfo

    A freakin' RUST TARGET FOR ZERO KNOWLEDGE PROOF VIRTUAL MACHINES!

    So: take your rust program (not all of std is supported), compile it to a zkvm, and run it there!

    I found this on OpenVMs page:

    github.com/openvm-org/openvm

    #e_id #zkp
  2. Linus Gasser @[email protected] ·

    #e_id #ZKP

    This just blew my head: we're looking at the latest and greatest ZKP frameworks before digging more into noir, and I saw this:

    doc.rust-lang.org/rustc/platfo

    A freakin' RUST TARGET FOR ZERO KNOWLEDGE PROOF VIRTUAL MACHINES!

    So: take your rust program (not all of std is supported), compile it to a zkvm, and run it there!

    I found this on OpenVMs page:

    github.com/openvm-org/openvm

    #e_id #zkp
  3. Linus Gasser @[email protected] ·

    #e_id #ZKP

    This just blew my head: we're looking at the latest and greatest ZKP frameworks before digging more into noir, and I saw this:

    doc.rust-lang.org/rustc/platfo

    A freakin' RUST TARGET FOR ZERO KNOWLEDGE PROOF VIRTUAL MACHINES!

    So: take your rust program (not all of std is supported), compile it to a zkvm, and run it there!

    I found this on OpenVMs page:

    github.com/openvm-org/openvm

    #e_id #zkp
  4. Linus Gasser @[email protected] ·

    #e_id #ZKP

    This just blew my head: we're looking at the latest and greatest ZKP frameworks before digging more into noir, and I saw this:

    doc.rust-lang.org/rustc/platfo

    A freakin' RUST TARGET FOR ZERO KNOWLEDGE PROOF VIRTUAL MACHINES!

    So: take your rust program (not all of std is supported), compile it to a zkvm, and run it there!

    I found this on OpenVMs page:

    github.com/openvm-org/openvm

    #zkp #e_id
  5. Linus Gasser @[email protected] ·

    #e_id #ZKP

    This just blew my head: we're looking at the latest and greatest ZKP frameworks before digging more into noir, and I saw this:

    doc.rust-lang.org/rustc/platfo

    A freakin' RUST TARGET FOR ZERO KNOWLEDGE PROOF VIRTUAL MACHINES!

    So: take your rust program (not all of std is supported), compile it to a zkvm, and run it there!

    I found this on OpenVMs page:

    github.com/openvm-org/openvm

    #e_id #zkp
  6. Linus Gasser @[email protected] ·

    #E_ID #ZKP Having some fun with Noir and ZKPs to prove the knowledge of ECDSA:

    github.com/eid-privacy/noir-pl

    We're doing this in order to understand how good nowadays ZKP libraries are in bringing understandable and fast proving systems to developers!

    #e_id #zkp
  7. Linus Gasser @[email protected] ·

    #E_ID #ZKP Having some fun with Noir and ZKPs to prove the knowledge of ECDSA:

    github.com/eid-privacy/noir-pl

    We're doing this in order to understand how good nowadays ZKP libraries are in bringing understandable and fast proving systems to developers!

    #e_id #zkp