odradev

Pinned Repositories

awesome-zero-knowledge
A curated list of Zero Knowledge links, mostly focusing on blockchain.
302 13 141
c3-lang
C3 Linearization for Rust
Language:Rust1 1 00
cargo-odra
Language:Rust3 3 410
casper-contract-schema
Language:Rust3 2 61
evm-at-risc0
Language:Rust17 1 02
nysa
Language:Rust4 2 00
odra
Odra framework
Language:Rust63 8 2222
odra-casper
Language:Rust3 3 40
odra-proposal
1 2 01
odradev.github.io
https://odra.dev
Language:HTML1 3 40

odradev's Repositories

odradev/awesome-zero-knowledge
A curated list of Zero Knowledge links, mostly focusing on blockchain.
302 13 141
odradev/odra
Odra framework
Language:Rust63 8 2222
odradev/evm-at-risc0
Language:Rust17 1 02
odradev/nysa
Language:Rust4 2 00
odradev/cargo-odra
Language:Rust3 3 410
odradev/casper-contract-schema
Language:Rust3 2 61
odradev/odra-casper
Language:Rust3 3 40
odradev/c3-lang
C3 Linearization for Rust
Language:Rust1 1 00
odradev/casper-zk-with-risc0
Language:Rust1 1 00
odradev/odra-proposal
1 2 01
odradev/odradev.github.io
https://odra.dev
Language:HTML1 3 40
odradev/casper-copy-key
Language:Rust
odradev/casper-event-standard
The smart contract level events for Casper Network.
odradev/casper-events
Library for handling Casper events in smart contracts.
1 0
odradev/casper-node
Casper node
Language:Rust0 0
odradev/casper-shorts-web
Language:HTML0 0
odradev/nysa-proposal
2 0
odradev/odra-cep47
CEP-47 implementation using Odra
Language:Rust
odradev/odra-cli
Language:Rust1 1
odradev/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Language:C++0 0