home.social

#zkp — Public Fediverse posts

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

  1. #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

  2. #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

  3. #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

  4. #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

  5. #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

  6. #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!

  7. #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!

  8. #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!

  9. #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!

  10. #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!

  11. Vitalik Buterin suggests that Ethereum
    will be ready for the on slot of quantum computing suggesting a quantum machine could break blockchain cryptography between 2030 and 2035. The Ethereum Foundation is working to integrate zkEVM ( Zero-Knowledge Ethereum Virtual Machine) within layer 1, within twelve months.

    cointribune.com/en/vitalik-but #Crypto #Ethereum #Buterin #CryptoSecurity #QuantumComputing #ETH #ZeroKnowledgeProofs #zkp