Pinned Repositories
AEADs
Authenticated Encryption with Associated Data Algorithms: high-level encryption ciphers
alexa-skill-with-arduino-webclient
An Alexa skill sample with Arduino Ethernet Shield as webclient, duplex HTTP/JSON call
ark-srs
Use Common/Structured Reference String (CRS/SRS) from existing ceremonies with ease
cryptopal
Cryptopal solution in Rust (https://cryptopals.com/)
ntu-thesis-latex
Undergraduate thesis template in Latex for NTU Singapore
snarkVM
A Virtual Machine for Zero-Knowledge Executions
solidity-conv
utility library that does type conversion for Solidity
jellyfish
A Rust Implementation of the PLONK ZKP System and Extensions
veri-zexe
DPC with Universal Setup
streamlet_tla
TLA+ Modelling of Streamlet
alxiong's Repositories
alxiong/alexa-skill-with-arduino-webclient
An Alexa skill sample with Arduino Ethernet Shield as webclient, duplex HTTP/JSON call
alxiong/cryptopal
Cryptopal solution in Rust (https://cryptopals.com/)
alxiong/AEADs
Authenticated Encryption with Associated Data Algorithms: high-level encryption ciphers
alxiong/ntu-thesis-latex
Undergraduate thesis template in Latex for NTU Singapore
alxiong/snarkVM
A Virtual Machine for Zero-Knowledge Executions
alxiong/solidity-conv
utility library that does type conversion for Solidity
alxiong/.doom.d
My Private Doom Emacs configurations
alxiong/ark-srs
Use Common/Structured Reference String (CRS/SRS) from existing ceremonies with ease
alxiong/poly-commit
A Rust library for polynomial commitments
alxiong/age
A simple, modern and secure encryption tool with small explicit keys, no config options, and UNIX-style composability.
alxiong/algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
alxiong/blst
Multilingual BLS12-381 signature library
alxiong/bytecode-verifier
Compile Solidity source code and verify its bytecode matches the blockchain
alxiong/curve25519-dalek
A pure-Rust implementation of group operations on Ristretto and Curve25519
alxiong/dotfiles-old
personal .dotfiles & setup scripts
alxiong/ed25519-dalek
Fast and efficient ed25519 signing and verification in Rust.
alxiong/ethers-rs
Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers
alxiong/flatter
Fast lattice reduction
alxiong/fpylll
A Python interface for https://github.com/fplll/fplll
alxiong/icicle
a GPU Library for Zero-Knowledge Acceleration
alxiong/ignition-verification
Repository to verify contributions to the AZTEC Ignition ceremony
alxiong/learntla-v2
alxiong/monorepo
Home for all packages related to the Counterfactual project
alxiong/NTU-DIP
sliding puzzle controlled by a robotic arm through Alexa and Arduino
alxiong/plonky2x-example
An example of how to build an end-to-end dApp with plonky2x
alxiong/prezto
The configuration framework for Zsh
alxiong/pytorch-playground
Base pretrained models and datasets in pytorch (MNIST, SVHN, CIFAR10, CIFAR100, STL10, AlexNet, VGG16, VGG19, ResNet, Inception, SqueezeNet)
alxiong/smock
The Solidity mocking library
alxiong/snark
Interfaces for Relations and SNARKs for these relations
alxiong/vimrc
The ultimate Vim configuration: vimrc