Veridise
Hardening Blockchain Security with Formal Methods
Pinned Loading
Repositories
Showing 10 of 57 repositories
- stellar-auth-macro Public
A proc macro that enforces authorization for all public functions in a Stellar contract
Veridise/stellar-auth-macro’s past year of commit activity - sha3-circuit-midnight Public Forked from alexandroszacharakis8/sha3-circuit
Lookup based midnight-proofs (halo2 fork) implementation of keccak-f[1600] permutation and gadgets for the sha3-256 and keccak-256 hash functions.
Veridise/sha3-circuit-midnight’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…